loeper/stanford-cs212-pintos-vscode-dev-environment repository overview

⁠Local Pintos Development using VS Code

⁠Installation

Create a .devcontainer/devcontainer.json file with following contents and enjoy!
For additional information regarding the extension see: https://code.visualstudio.com/docs/remote/containers⁠

{
	"name": "CS 212 Pintos Development",
	"runArgs": [
		"--init"
	],
	// we use a pre-built docker image to speed up the vscode setup
	// note: it is a multi-arch image which supports arm64 and amd64 architectures
	"image": "loeper/stanford-cs212-pintos-vscode-dev-environment:latest",
	"settings": { /* please set settings inside the workspace-specific config in .vscode folder */},
	"extensions": [
		"[email protected]",
		"eamodio.gitlens",
		"[email protected]",
		"13xforever.language-x86-64-assembly"
	],
	"remoteUser": "vscode"
}

Note: Only x86-64 and aarch64 architectures are supported.

⁠Usage

1. Install the Remote - Containers (ms-vscode-remote.remote-containers) extension.
2. Open the workspace inside the docker container using CTRL+SHIFT+P -> Remote Container: Rebuild and Reopen in Container.

⁠Note

You can also run pintos using the non-IDE container image: https://hub.docker.com/repository/docker/loeper/stanford-cs212-pintos⁠