diff --git a/.devcontainer/Dockerfile b/.devcontainer/ubuntu_25.04/Dockerfile similarity index 100% rename from .devcontainer/Dockerfile rename to .devcontainer/ubuntu_25.04/Dockerfile diff --git a/.devcontainer/devcontainer.json b/.devcontainer/ubuntu_25.04/devcontainer.json similarity index 90% rename from .devcontainer/devcontainer.json rename to .devcontainer/ubuntu_25.04/devcontainer.json index 1ed50957..b9e3dbff 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/ubuntu_25.04/devcontainer.json @@ -5,6 +5,10 @@ "dockerfile": "Dockerfile" }, + "hostRequirements": { + "cpus": 4 + }, + "runArgs": ["--cap-add=SYS_PTRACE", "--security-opt", "seccomp=unconfined"], "postCreateCommand": "./scripts/devcontainer-post-create.sh", @@ -26,8 +30,8 @@ "ghcr.io/devcontainers/features/node:1": { "version": "latest" }, - "./features/emscripten": {}, - "./features/wasi-sdk": {} + "../features/emscripten": {}, + "../features/wasi-sdk": {} }, "customizations": {