发简信
IP属地：北京
-
2. seL4-Capabilities这是seL4运行机制的第1篇。截图中的代码和log不额外说明，都是指截图的最后一行 首先，我们从代码开始，这是最直观的东西。从程序中语言化的概念...
-
0.0 seL4 环境搭建懒人版
1 安装docker 执行完之后如果使用docker需要加sudo，可以给docker增加root权限： 2 导入镜像 链接：https://...
-
1.1 hello-world番外篇
整个simulate脚本就是在构建qemu仿真的参数 执行hello-world是RAM镜像文件中：
-
1. seL4-hello world这部分的目的是验证环境的可用性。 0 python依赖 1 拉取代码 安装几个依赖包： 2 编译 执行： 此时会生成一个新的文件夹（名字可能会变...
-
1. Docker镜像使用
1 安装 使用官方的脚本自动安装： 执行完之后如果使用docker需要加sudo，可以给docker增加root权限： 2 拉取docker镜像...
-
0. seL4 环境搭建
系统环境：ubuntu 22.04*嫌麻烦的的话可以直接转向：0.0 seL4 环境搭建懒人版 - 简书 (jianshu.com)[https...
-
Ubuntu 18.04 LTS 因安装 python3.8.10 导致终端打不开通过图标打开终端时，会一直转圈，无法打开终端。 1 首先确定python版本安装正常 使用whereis命令查看python安装是否正常。 2 ...
-
f1 lab1:Booting a PC翻译
更新至2018年9月13日 介绍 这个实验室分为3个部分。第一部分，主要是熟悉x86汇编语言，x86仿真器QEMU和电脑的开机引导程序。第二部分...
-
1 搭建实验环境系统版本：Ubuntu 18.04.3 0 介绍 mit6.828是一门经典的操作系统课程，通过这门课程可以学习到操作系统的设计与实现。据说会对...