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)
编译运行。
