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
andbreak __x64_sys_write
-
insmod timer.ko
andbreak lkmc_timer_callback