feat(devcontainer): Add devcontainer for codespaces

Signed-off-by: Cezar Craciunoiu <[email protected]>
unikraft · Jul 3, 2023 · ed0aed2 · ed0aed2
1 parent 5448b6e
commit ed0aed2
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -0,0 +1,11 @@
+{
+  "name": "Unikraft C++ development environment",
+  "image": "kraftkit.sh/gcc:latest",
+  "remoteUser": "root",
+  "hostRequirements": {
+      "cpus": 4,
+      "memory": "8gb",
+      "storage": "32gb"
+  }
+}
+