Pintos, GDB, Load Macros

pintos-gdb-macros.md

1. Create a file at pintos/gdb-c with one line as the content:

gdb -x /pintos/src/misc/gdb-macros $@

2. In the pintos shell, make the new file executable:

$ chmod +x /pintos/gdb-c

3. Modify .vscode/launch.json to use the new executable instead of gdb:

...
"configurations": [
  {
    ...
    "gdbpath": "/pintos/gdb-c",    <<< Add this line
    ...
  }
...

References:

Bug in the VSCode extension: WebFreak001/code-debug#206