diff --git a/.vscode/c_cpp_properties.json b/.vscode/c_cpp_properties.json
index 366b9d892f..0b1754143a 100644
--- a/.vscode/c_cpp_properties.json
+++ b/.vscode/c_cpp_properties.json
@@ -3,11 +3,25 @@
         {
             "name": "EalánOS",
             "includePath": [
-                "${workspaceFolder}/depot/genodelabs/api/libc/**",
-                "${workspaceFolder}/depot/genodelabs/api/stdcxx/**",
-                "${workspaceFolder}/repos/base/**",
-                "${workspaceFolder}/repos/base-nova/**",
-                "${workspaceFolder}/repos/**"
+                "${workspaceFolder}/repos/**",
+                "${workspaceFolder}/repos/mml/**",
+                "${workspaceFolder}/repos/libports/include/**",
+                "${workspaceFolder}/contrib/mxtasking-07a3844690ae8eb15832d93e29567a5a8e6e45af/include/**",
+                "${workspaceFolder}/contrib/libpfm4-b0ec09148c2be9f4a96203a3d2de4ebed6ce2da0/include/**",
+                "${workspaceFolder}/contrib/libc-c7cd230b11ca71979f32950803bc78b45adfa0ce/include/libc/**",
+                "${workspaceFolder}/contrib/libc-c7cd230b11ca71979f32950803bc78b45adfa0ce/include/spec/x86_64/libc",
+                "${workspaceFolder}/contrib/libc-c7cd230b11ca71979f32950803bc78b45adfa0ce/include/libc/sys/**",
+                "${workspaceFolder}/contrib/stdcxx-d2865c41fafbbf66051d38e7b742c4d5bc2f05a3/include/stdcxx/",
+                "${workspaceFolder}/contrib/stdcxx-d2865c41fafbbf66051d38e7b742c4d5bc2f05a3/include/stdcxx/std",
+                "${workspaceFolder}/contrib/stdcxx-d2865c41fafbbf66051d38e7b742c4d5bc2f05a3/include/stdcxx/c_std",
+                "${workspaceFolder}/repos/libports/include/spec/x86_64/stdcxx",
+                "${workspaceFolder}/repos/base-nova/src/core/include/**",
+                "${workspaceFolder}/repos/base-nova/src/include/**",
+                "${workspaceFolder}/repos/base-nova/include/**",
+                "${workspaceFolder}/repos/base/src/core/include/**",
+                "${workspaceFolder}/repos/base/src/include/**",
+                "${workspaceFolder}/repos/base/include/**",
+                "/usr/local/genode/tool/21.05/lib/gcc/x86_64-pc-elf/10.3.0/include"
             ],
             "defines": [
                 "__GENODE__",
@@ -16,30 +30,35 @@
                 "_GLIBCXX_ATOMIC_BUILTINS_4",
                 "_GLIBCXX_NO_OBSOLETE_ISINF_ISNAN_DYNAMIC"
             ],
-            "compilerPath": "/usr/local/genode/tool/21.05/bin/genode-x86-g++",
+            "compilerPath": "/usr/local/genode/tool/21.05/bin/genode-x86-gcc",
             "cStandard": "gnu17",
             "cppStandard": "gnu++17",
-            "intelliSenseMode": "${default}",
+            "intelliSenseMode": "linux-gcc-x64",
             "compilerArgs": [
                 "-nostdinc",
-                "-m64",
-                "-mcmodel=large",
-                "-MMD",
-                "-MP",
-                "-MT"
+                "-m64"
             ],
-            "configurationProvider": "ms-vscode.cmake-tools"
+            "configurationProvider": "ms-vscode.makefile-tools",
+            "forcedInclude": [
+                "${workspaceFolder}/contrib/libc-c7cd230b11ca71979f32950803bc78b45adfa0ce/include/libc/stdint.h"
+            ],
+            "mergeConfigurations": false,
+            "browse": {
+                "limitSymbolsToIncludedHeaders": true
+            }
         },
         {
             "name": "Genode",
             "includePath": [
-                "${workspaceFolder}/**"
+                "${workspaceFolder}/**",
+                "${workspaceFolder}/repos/base/**"
             ],
             "defines": [],
             "compilerPath": "/usr/bin/clang",
             "cStandard": "c17",
             "cppStandard": "c++14",
-            "intelliSenseMode": "linux-clang-x64"
+            "intelliSenseMode": "linux-clang-x64",
+            "configurationProvider": "ms-vscode.makefile-tools"
         }
     ],
     "version": 4
diff --git a/.vscode/settings.json b/.vscode/settings.json
index dc2cb39413..3654d91693 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -5,8 +5,128 @@
         "initializer_list": "cpp",
         "streambuf": "cpp",
         "tuple": "cpp",
-        "memory": "cpp"
+        "memory": "cpp",
+        "*.def": "cpp",
+        "array": "cpp",
+        "deque": "cpp",
+        "forward_list": "cpp",
+        "list": "cpp",
+        "string": "cpp",
+        "vector": "cpp",
+        "any": "cpp",
+        "executor": "cpp",
+        "internet": "cpp",
+        "io_context": "cpp",
+        "memory_resource": "cpp",
+        "socket": "cpp",
+        "string_view": "cpp",
+        "timer": "cpp",
+        "functional": "cpp",
+        "rope": "cpp",
+        "slist": "cpp",
+        "coroutine": "cpp",
+        "future": "cpp",
+        "scoped_allocator": "cpp",
+        "valarray": "cpp",
+        "regex": "cpp",
+        "cstdint": "cpp",
+        "bitset": "cpp",
+        "random": "cpp",
+        "optional": "cpp",
+        "dynamic_bitset": "cpp",
+        "mutex": "cpp",
+        "shared_mutex": "cpp",
+        "algorithm": "cpp",
+        "atomic": "cpp",
+        "bit": "cpp",
+        "cassert": "cpp",
+        "cctype": "cpp",
+        "cerrno": "cpp",
+        "chrono": "cpp",
+        "ciso646": "cpp",
+        "clocale": "cpp",
+        "cmath": "cpp",
+        "compare": "cpp",
+        "concepts": "cpp",
+        "cstddef": "cpp",
+        "cstdio": "cpp",
+        "cstdlib": "cpp",
+        "cstring": "cpp",
+        "ctime": "cpp",
+        "cwchar": "cpp",
+        "cwctype": "cpp",
+        "map": "cpp",
+        "unordered_map": "cpp",
+        "exception": "cpp",
+        "fstream": "cpp",
+        "ios": "cpp",
+        "iosfwd": "cpp",
+        "iostream": "cpp",
+        "istream": "cpp",
+        "iterator": "cpp",
+        "limits": "cpp",
+        "new": "cpp",
+        "numeric": "cpp",
+        "ostream": "cpp",
+        "queue": "cpp",
+        "ranges": "cpp",
+        "ratio": "cpp",
+        "sstream": "cpp",
+        "stdexcept": "cpp",
+        "system_error": "cpp",
+        "thread": "cpp",
+        "type_traits": "cpp",
+        "typeinfo": "cpp",
+        "utility": "cpp",
+        "variant": "cpp",
+        "charconv": "cpp",
+        "cfenv": "cpp",
+        "cinttypes": "cpp",
+        "csetjmp": "cpp",
+        "csignal": "cpp",
+        "cstdarg": "cpp",
+        "cuchar": "cpp",
+        "set": "cpp",
+        "unordered_set": "cpp",
+        "codecvt": "cpp",
+        "condition_variable": "cpp",
+        "iomanip": "cpp",
+        "*.run": "xml",
+        "span": "cpp"
     },
     "vscode-as-git-mergetool.settingsAssistantOnStartup": false,
-    "makefile.makeDirectory": "build/x86_64"
+    "makefile.makeDirectory": "build/x86_64",
+    "C_Cpp.errorSquiggles": "enabledIfIncludesResolve",
+    "C_Cpp.default.cppStandard": "gnu++17",
+    "C_Cpp.default.cStandard": "gnu17",
+    "C_Cpp.workspaceSymbols": "Just My Code",
+    "C_Cpp.inlayHints.parameterNames.enabled": true,
+    "C_Cpp.inlayHints.autoDeclarationTypes.showOnLeft": true,
+    "C_Cpp.intelliSenseMemoryLimit": 16384,
+    "makefile.makefilePath": "",
+    "makefile.dryrunSwitches": [
+        "--keep-going",
+        "--print-directory",
+        "KERNEL=nova",
+        "BOARD=pc",
+        "run/vscode",
+        "VERBOSE="
+    ],
+    "C_Cpp.default.intelliSenseMode": "linux-gcc-x64",
+    "C_Cpp.default.mergeConfigurations": true,
+    "C_Cpp.autocompleteAddParentheses": true,
+    "C_Cpp.intelliSenseCacheSize": 20480,
+    "makefile.buildBeforeLaunch": false,
+    "makefile.extensionOutputFolder": ".vscode",
+    "makefile.configurationCachePath": ".vscode/configurationCache.log",
+    "explorer.excludeGitIgnore": true,
+    "makefile.buildLog": ".vscode/build.log",
+    "definition-autocompletion.update_index_on_change": true,
+    "definition-autocompletion.update_index_interval": 5,
+    "C_Cpp.intelliSenseEngineFallback": "disabled",
+    "makefile.extensionLog": ".vscode/extension.log",
+    "makefile.ignoreDirectoryCommands": false,
+    "html.format.wrapLineLength": 80,
+    "editor.wordWrap": "bounded",
+    "editor.wordWrapColumn": 90
 }
\ No newline at end of file