kernel

Redox OS Microkernel

Debugging the redox kernel

Running qemu with the -s flag will set up qemu to listen on port 1234 for a gdb client to connect to it. To debug the redox kernel run.

make qemu debug=yes

This will start a VM with and listen on port 1234 for a gdb client. Run the following to connect to it.

(gdb) target remote localhost:1234

This is great, but without debug info debugging can be quite difficult. The redox build process strips the kernel of debug info and copies the debug info to a separate file kernel.sym. You can import these symbols in gdb with the following

(gdb) symbol-file build/kernel.sym

Now you can set some interesting breakpoints and continue the process.