Debugging

By default, the kernel writes its logs to the serial output 1.

There is a debugger that can be started with VirtualBox:

Documentation: https://www.virtualbox.org/manual/ch12.html#ts_debugger