I've tried replacing novga with spinner in the NOVA command line (in tool/run/boot_dir/nova), but nothing happens. What do i have to do to enable IRQ spinners?
Also, when I enable TRACE_APIC or TRACE_ACPI in stdio.hpp in the NOVA contrib source, the kernel crashes and QEMU gets stuck in a boot loop. How can I add this trace information to the serial log and/or log_core?