search

rel4team / rel4team.github.io

0 stars 0 forks source link

http://localhost:1313/zh/docs/install/local/ #5

Closed utterances-bot closed 2 days ago

utterances-bot commented 2 days ago

本地环境安装 | ReL4 Book

本地安装 #

本章介绍如何在本地环境安装 seL4, reL4, rust-seL4 等项目依赖环境

  1. 简介 #

rel4 目前本质上是 seL4 链接的一个静态库，因此二者可以在同一个环境中编译、运行。换句话说，rel4 只需要在 seL4 编译运行环境的基础上增加 rust 安装即可。 我已经写了一个环境安装脚本，本文会根据该脚本介绍安装过程。

脚本在 Ubuntu20.04 和 Ubuntu22.04 经过测试，其

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