Ubuntu – Source code of Linux kernel not found when using GDB -tui?
I am booting a Linux kernel in Qemu using an Ubuntu machine. I can successfully set breakpoints on certain functions, like "start_kernel". However, when enabling the -tui option for GDB, I get a "Source Not Available" error in the top…