New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

zh/docs/install/docker/ #7

Open

utterances-bot opened this issue Nov 11, 2024 · 0 comments

utterances-bot commented Nov 11, 2024

Docker 环境安装 | ReL4 Book

简介

本文主要叙述如何使用 rel4-dev docker 镜像进行 sel4 和 rel4 的尝试。该镜像可以用于运行 sel4 和 rel4 例程，但是目前还不支持运行 rust-sel4 中 demo 程序。

使用说明

2.1 进入 Docker 环境

start_docker, only need execute once

LOCAL WORKSPACE is the dir which map into docker container. Usually, it's you workspace, will map to /workspace in docker container docker. Please replace the {LOCAL WORKSPACE} with real dir path

curl --proto '=https' --tlsv1.2 -

http://localhost:1313/zh/docs/install/docker/

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment