NOVA spinner and trace

[Nobody III]

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?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20180930/9c09a493/attachment.html>