os161.code-workspace

{
    // Workspace folders
    "folders": [
        {
            "path": "."
        },
        {
            "path": "os161"
        }
    ],

    // Workspace settings for VS Code editor and extensions
    "settings": {
        "editor.tabSize": 4,
        "editor.insertSpaces": true,
        "search.exclude": {
            "**/build": true,
            "**/compile": true,
            "**/root": true
        },

        "workbench.colorCustomizations": {
            "activityBar.activeBackground": "#604f83",
            "activityBar.activeBorder": "#dd4181",
            "activityBar.background": "#876ac1",
            "activityBar.foreground": "#e7e7e7",
            "activityBar.inactiveForeground": "#e7e7e799",
            "activityBarBadge.background": "#dd4181",
            "activityBarBadge.foreground": "#e7e7e7",
            "statusBar.background": "#604f83",
            "statusBar.foreground": "#e7e7e7",
            "statusBarItem.hoverBackground": "#592bb4",
            "statusBarItem.remoteBackground": "#592bb4",
            "statusBarItem.remoteForeground": "#e7e7e7",
            "titleBar.activeBackground": "#604f83",
            "titleBar.activeForeground": "#e7e7e7",
            "titleBar.inactiveBackground": "#443561",
            "titleBar.inactiveForeground": "#e7e7e799",
            "commandCenter.border": "#e7e7e799"
        },
        
        // Settings for .c files
        "[c]": {
            "editor.rulers": [80],
        },

        // Disable C/C++ extension intellisense so clangd intellisense works
        "C_Cpp.intelliSenseEngine": "disabled",

        // Clangd configuration
        "clangd.path": "/usr/bin/clangd",
        "clangd.arguments": [
            "--pretty",
            "--compile-commands-dir=${env:WORKSPACE_DIR}"
        ]
    },

    // Launch configuration
    "launch": {
        // For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387
        "version": "0.2.0",
        "configurations": [
            
            // Documentation: https://code.visualstudio.com/docs/editor/debugging
            // JSON Reference: https://code.visualstudio.com/docs/editor/debugging#_launchjson-attributes

            // Launch configuration to run OS161. Remember to build first with CTRL + SHIFT + B.
            {
                "name": "Run OS161",
                "type": "node",
                "request": "attach",
                "preLaunchTask": "Run Kernel"
            },

            // Documentation: https://code.visualstudio.com/docs/cpp/cpp-debug
            // JSON Reference: https://code.visualstudio.com/docs/cpp/launch-json-reference

            // Launch configuration to debug OS161. Remember to build first with CTRL + SHIFT + B.
            {
                "name": "Run OS161 (Debug)",
                "type": "cppdbg",
                "request": "launch",
                "cwd": "${env:WORKSPACE_DIR}/os161/root",
                "program": "kernel",
                "preLaunchTask": "Wait for Debugger Connection",
                
                // Break at the entry point (in start.S)
                "stopAtEntry": true,
                "stopAtConnect": true,
                
                // GDB Configurations
                "MIMode": "gdb",
                "miDebuggerPath": "${env:OS161_DEPENDENCIES_DIR}/tools/os161/bin/os161-gdb",
                "miDebuggerServerAddress": "unix:.sockets/gdb",

                // Run GDB commands on startup
                "setupCommands": []
            },
        ]
    },

    // Task definitions
    "tasks": {
        "version": "2.0.0",

        // See documentation: https://code.visualstudio.com/Docs/editor/tasks
        // https://code.visualstudio.com/docs/editor/tasks-appendix
        "tasks": [

            // RUN AND DEBUG TASKS
            {
                "label": "Run Kernel",
                "detail": "Run the OS161 kernel",
                "type": "shell",
                "command": "sys161 kernel",
                "isBackground": true,
                "options": {
                    "cwd": "${env:WORKSPACE_DIR}/os161/root"
                },
                
                // Problem matcher required to let this task run in the background
                "problemMatcher": [
                    {
                        "pattern": [
                            {
                                "regexp": ".",
                                "file": 1,
                                "location": 2,
                                "message": 3
                            }
                        ],
                        "background": {
                            "activeOnStart": true,
                            "beginsPattern": ".",
                            "endsPattern": ".",
                        }
                    }
                ]
            },

            // This task is not meant to be ran by itself, but rather as a pre-launch task for the
            // debugger launch configuration
            {
                "label": "Wait for Debugger Connection",
                "detail": "Start the kernel and wait for a debugger connection",
                "isBackground": true,
                "type": "shell",
                "command": "sys161 -w kernel",
                "options": {
                    "cwd": "${env:WORKSPACE_DIR}/os161/root"
                },

                // Problem matcher required to let this prelaunch task run in the background
                // so the debugging launch configuration can run without hanging
                "problemMatcher": [
                    {
                        "pattern": [
                            {
                                "regexp": ".",
                                "file": 1,
                                "location": 2,
                                "message": 3
                            }
                        ],
                        "background": {
                            "activeOnStart": true,
                            "beginsPattern": ".",
                            "endsPattern": ".",
                        }
                    }
                ]
            },

            // BUILDING TASKS
            {
                "label": "Build",
                "detail": "Does a full build of OS161. Mapped to CTRL + SHIFT + B.",
                "type": "shell",
                "command": "bear -- bash scripts/build.sh -p ${env:WORKSPACE_DIR}/os161/root -k ${input:kernel}",
                "problemMatcher": [],
                "group": "build"
            },
            {
                "label": "Clean Build",
                "detail": "Restore the source tree to a pristine state and remove all generated files",
                "type": "shell",
                "command": "bash scripts/clean_build.sh",
                "problemMatcher": []
            } 
        ],

        // INPUT PARAMETERS TO TASKS
        "inputs": [
            {
                "id": "kernel",
                "type": "pickString",
                "description": "Selected kernel to configure",
                "options": [
                    "DUMBVM",
                    "DUMBVM-OPT",
                    "GENERIC",
                    "GENERIC-OPT",
                    "SYNCHPROBS"
                ]
            }
        ]
    }
}