Debugging synch.c


(Aakanksha Raika) #1

Hi,
I am trying to debug the program with gdb but running into few issues can anyone who have the debugging working help me with the command?
I was trying to use “gdb synch” in kern/thread/synch.c pretty sure I am doing something wrong but not able to figure out what I am newish to terminal programming.

Also tried “os161-gdb thread/synch”

Attempting this from os161/kern

-Thanks for the help.


(James Droste) #2

I would check out the information listed here.

gdb only works on compiled files, like your kernel.