.devcontainer.json

// See
//
// - https://code.visualstudio.com/docs/remote/containers
// - https://code.visualstudio.com/docs/remote/devcontainerjson-reference
{
  // Do not modify manually. This value is automatically updated by ./scripts/docker_build .
  "image": "sha256:4e64310a2b3210c26cc0b55e148d6f2ad4a25cbe716bba057448fce919f2842d",
  "extensions": [
    "13xforever.language-x86-64-assembly",
    "bazelbuild.vscode-bazel",
    "bodil.prettier-toml",
    "bungcip.better-toml",
    "esbenp.prettier-vscode",
    "vadimcn.vscode-lldb",
    "xaver.clang-format",
    "zixuanwang.linkerscript",
    "zxh404.vscode-proto3",
    "rust-lang.rust-analyzer",
    "fabiospampinato.vscode-open-in-github",
    "waderyan.gitblame"
  ],
  "mounts": [
    // Crosvm wants access to syslog.
    "source=/dev/log,target=/dev/log,type=bind"
  ],
  "runArgs": [
    // Required by the VMM.
    "--device=/dev/kvm",
    // In order to access /dev/kvm, our user inside the container needs to be a
    // member of the group that owns /dev/kvm; the device itself is exposed
    // inside the container with the same group as outside the container.
    // Unfortunately this GID can differ between systems and there doesn't seem
    // to be any good way to determine this dynamically from the host machine.
    // Thus, hard-code 107 which is the group id used with Debian. If you use a
    // different distribution, it's highly likely you need to adjust this value
    // to match your environment.
    "--group-add=107"
  ],
  "settings": {
    // Use the `rust-analyzer` binary installed in the Docker image.
    "rust-analyzer.serverPath": "rust-analyzer",
    // Ensure protobuf generated files are loaded correctly.
    "rust-analyzer.cargo.loadOutDirsFromCheck": true
  },
  // Ensure that the workspace is mounted consistently with the `/docker_run` script.
  // See https://code.visualstudio.com/docs/remote/containers-advanced#_changing-the-default-source-code-mount.
  "workspaceMount": "source=${localWorkspaceFolder},target=/workspace,type=bind,consistency=delegated",
  "workspaceFolder": "/workspace",
  // We do not need to fix the UID when running in rootless Docker.
  "updateRemoteUserUID": false
}