Debugging synch.c

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.

I would check out the information listed here.

gdb only works on compiled files, like your kernel.