{
    "configurations": [
        {
            "type": "cppdbg",
            "request": "launch",
            "name": "Launch Kernel (riscv64)",
            "program": "${workspaceFolder}/build/kernel.sym",
            "args": [],
            "stopAtEntry": false,
            "cwd": "${workspaceFolder}",
            "environment": [],
            "externalConsole": false,
            "MIMode": "gdb",
            "miDebuggerPath": "/Users/david/.local/riscv64-unknown-elf-gcc-8.3.0-2020.04.1-x86_64-apple-darwin/bin/riscv64-unknown-elf-gdb",
            "miDebuggerServerAddress": "127.0.0.1:1234",
            "setupCommands": [
                {
                    "text": "-enable-pretty-printing",
                    "description": "Enable GDB pretty printing",
                    "ignoreFailures": true
                },
                // {
                //     "text": "source ${workspaceFolder}/pretty-print.py",
                //     "description": "Load GDB pretty printers",
                //     "ignoreFailures": false
                // },
            ],
            "preLaunchTask": "debug run riscv64",
            "postDebugTask": "kill qemu riscv64"
        },
        {
            "type": "cppdbg",
            "request": "launch",
            "name": "Attach Kernel (x86_64)",
            "program": "${workspaceFolder}/build/kernel.sym",
            "args": [],
            "stopAtEntry": false,
            "cwd": "${workspaceFolder}",
            "environment": [],
            "externalConsole": false,
            "MIMode": "gdb",
            "miDebuggerPath": "x86_64-elf-gdb",
            "miDebuggerServerAddress": "127.0.0.1:1234",
            "setupCommands": [
                {
                    "text": "-enable-pretty-printing",
                    "description": "Enable GDB pretty printing",
                    "ignoreFailures": true
                }
            ]
        }
    ]
}