{
	"version": "0.2.0",
	"configurations": [
		{
			"name": "kernel-debug",
			"type": "cppdbg",
			"request": "launch",
			"miDebuggerServerAddress": "127.0.0.1:1234",
			"program": "${workspaceFolder}/obj/kern/kernel.dbg",
			"args": [],
			"stopAtEntry": false,
			"cwd": "${workspaceFolder}",
			"environment": [],
			"externalConsole": false,
			"logging": {
				"engineLogging": false
			},
			"MIMode": "gdb",
			"miDebuggerPath": "/usr/bin/gdb",
		}
	]
}