os_kernel_lab/labcodes_answer/lab1_result/tools/gdbinit