發(fā)簡(jiǎn)信
IP屬地：北京
-
2. seL4-Capabilities這是seL4運(yùn)行機(jī)制的第1篇。截圖中的代碼和log不額外說(shuō)明，都是指截圖的最后一行 首先悠反，我們從代碼開始惦辛，這是最直觀的東西贩幻。從程序中語(yǔ)言化的概念...
-
0.0 seL4 環(huán)境搭建懶人版
1 安裝docker 執(zhí)行完之后如果使用docker需要加sudo分尸，可以給docker增加root權(quán)限： 2 導(dǎo)入鏡像 鏈接：https://...
-
1.1 hello-world番外篇
整個(gè)simulate腳本就是在構(gòu)建qemu仿真的參數(shù) 執(zhí)行hello-world是RAM鏡像文件中：
-
1. seL4-hello world這部分的目的是驗(yàn)證環(huán)境的可用性。 0 python依賴 1 拉取代碼 安裝幾個(gè)依賴包： 2 編譯 執(zhí)行： 此時(shí)會(huì)生成一個(gè)新的文件夾（名字可能會(huì)變...
-
1. Docker鏡像使用
1 安裝 使用官方的腳本自動(dòng)安裝： 執(zhí)行完之后如果使用docker需要加sudo梗劫，可以給docker增加root權(quán)限： 2 拉取docker鏡像...
-
0. seL4 環(huán)境搭建
系統(tǒng)環(huán)境：ubuntu 22.04*嫌麻煩的的話可以直接轉(zhuǎn)向：0.0 seL4 環(huán)境搭建懶人版 - 簡(jiǎn)書 (jianshu.com)[https...
-
Ubuntu 18.04 LTS 因安裝 python3.8.10 導(dǎo)致終端打不開通過(guò)圖標(biāo)打開終端時(shí)享甸，會(huì)一直轉(zhuǎn)圈，無(wú)法打開終端梳侨。 1 首先確定python版本安裝正常 使用whereis命令查看python安裝是否正常蛉威。 2 ...
-
f1 lab1:Booting a PC翻譯
更新至2018年9月13日 介紹 這個(gè)實(shí)驗(yàn)室分為3個(gè)部分。第一部分走哺，主要是熟悉x86匯編語(yǔ)言瓷翻，x86仿真器QEMU和電腦的開機(jī)引導(dǎo)程序。第二部分...
-
1 搭建實(shí)驗(yàn)環(huán)境系統(tǒng)版本：Ubuntu 18.04.3 0 介紹 mit6.828是一門經(jīng)典的操作系統(tǒng)課程，通過(guò)這門課程可以學(xué)習(xí)到操作系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)齐帚。據(jù)說(shuō)會(huì)對(duì)...