1 安装docker

sudo apt-get update
sudo apt-get install curl
curl -fsSL https://test.docker.com -o test-docker.sh
sudo sh test-docker.sh

执行完之后如果使用docker需要加sudo，可以给docker增加root权限：

sudo chmod +s /usr/bin/docker

2 导入镜像

链接：https://pan.quark.cn/s/3206e1f1e64b
提取码：ZP6S

docker load -i image.tar

3 启动脚本

将下面的脚本放入/usr/bin/目录下：

#!/bin/bash

declare -A container

container=(
    [build]="ubuntu:22.04"
)

_USER=$(whoami)

function run_docker() {
    container_name=${1:-'build'}

    echo "===================================================================================="
    echo ""
    echo " docker run -it -e DISPLAY=unix$DISPLAY -v /home/$_USER:/workspace $container_name-$_USER ${container[$container_name]} /bin/bash"
    echo ""
    echo "===================================================================================="
    echo ""

    docker_pid=$(docker ps | grep $container_name-$_USER | awk -F " " '{print $1}')
    if [ "$docker_pid" != "" ]; then
        docker exec -it $docker_pid "/bin/bash"
    else
        docker run \
            -e DISPLAY=unix$DISPLAY \
            -v /home/$_USER/workspace:/workspace \
            -w /workspace \
            -it \
            --rm \
            -d \
            --name $container_name-$_USER ${container[$container_name]} "/bin/bash"

        docker_pid=$(docker ps | grep $container_name-$_USER | awk -F " " '{print $1}')
        docker exec -it $docker_pid "/bin/bash"
    fi
}

run_docker $1

为其赋予权限：

sudo chmod a+x /usr/bin/start_docker

4 拉取教程代码

mkdir sel4-tutorials-manifest
cd sel4-tutorials-manifest
repo init -u https://github.com/seL4/sel4-tutorials-manifest
repo sync -j4

然后参照1. seL4-hello world - 简书 (jianshu.com)
编译运行。