38.16.2.1. Test GDB Linux kernel

For the Linux kernel, do the following manual tests for now.

Shell 1:

./run --gdb-wait

Shell 2:

./run-gdb start_kernel

Should break GDB at start_kernel.

Then proceed to do the following tests:

  • ./count.sh and break __x64_sys_write

  • insmod timer.ko and break lkmc_timer_callback