7bfe1739fdcee34da9d65f1ca47c6da1972c222d
Move null and zero from kernel space to user space
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.
Description
RedBear Operating System, based on RedoxOS. Licenced under MIT license.
https://redbearos.org
Languages
Rust
98.8%
Assembly
0.6%
Linker Script
0.5%
Makefile
0.1%