devcontainer for seL4-CAmkES-L4v-dockerfiles

devcontainer.json

{
    "name": "seL4-CAmkES-L4v-dockerfiles",
    // this file is for https://github.com/seL4/seL4-CAmkES-L4v-dockerfiles.git
    // see https://docs.sel4.systems/projects/dockerfiles/
    // and run `make user` before using this devcontainer.
    "image": "user_img-${localEnv:USER}",
    "workspaceFolder": "/host",
    "mounts": [
        "source=${localWorkspaceFolder},target=/host,type=bind,consistency=cached",
        "source=${localEnv:USER}-home,target=/home/${localEnv:USER},type=volume"
    ],
    "remoteUser": "${localEnv:USER}",
    "containerUser": "${localEnv:USER}",
    "runArgs": [
        "--hostname=in-container",
        "--group-add=stack",
        "--group-add=sudo"
    ],
    "postCreateCommand": "sudo chsh -s /bin/bash $(whoami)"
}