[devcontainer] set devcontainer build platform

tmenari · copy · commit b28e415344b2 · 2026-05-19T15:57:33.000+07:00
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -4,10 +4,12 @@
 		"dockerfile": "Dockerfile",
 		"args": {
 			"VARIANT": "ubuntu"
-		}
+		},
+		"options": [
+			"--platform", "linux/amd64"
+		]
 	},
 	"features": {
-		"ghcr.io/devcontainers-contrib/features/curl-apt-get:1": {},
 		"ghcr.io/jungaretti/features/ripgrep:1": {}
 	},
 	"customizations": {
diff --git a/.gitignore b/.gitignore
@@ -26,3 +26,4 @@ src/rust/gen/jit.rs
 src/rust/gen/jit0f.rs
 bios/seabios
 bench-results
+.devcontainer/devcontainer-lock.json
