Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • unlink-path-format
  • scheme-fmt
  • riscv64
  • 0.6.0
  • 0.1.54
  • 0.5.0
  • 0.3.5
8 results
Blame Permalink
README.md 1.24 KiB

kernel

Redox OS Microkernel

MIT licensed docs

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 gdb=yes

This will start a VM with and listen on port 1234 for a gdb or lldb client.

gdb

If you are going to use gdb, run the following to load debug symbols and connect to your running kernel.

(gdb) symbol-file build/kernel.sym
(gdb) target remote localhost:1234