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.