發(fā)簡(jiǎn)信
IP屬地：北京
-
2. seL4-Capabilities這是seL4運(yùn)行機(jī)制的第1篇绍载。截圖中的代碼和log不額外說(shuō)明跨嘉，都是指截圖的最后一行 首先，我們從代碼開(kāi)始短条，這是最直觀(guān)的東西剑辫。從程序中語(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依賴(lài) 1 拉取代碼 安裝幾個(gè)依賴(lài)包： 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*嫌麻煩的的話(huà)可以直接轉(zhuǎn)向：0.0 seL4 環(huán)境搭建懶人版 - 簡(jiǎn)書(shū) (jianshu.com)[https...
-
Ubuntu 18.04 LTS 因安裝 python3.8.10 導(dǎo)致終端打不開(kāi)通過(guò)圖標(biāo)打開(kāi)終端時(shí)，會(huì)一直轉(zhuǎn)圈聪黎，無(wú)法打開(kāi)終端罕容。 1 首先確定python版本安裝正常 使用whereis命令查看python安裝是否正常。 2 ...
-
f1 lab1:Booting a PC翻譯
更新至2018年9月13日 介紹 這個(gè)實(shí)驗(yàn)室分為3個(gè)部分稿饰。第一部分锦秒，主要是熟悉x86匯編語(yǔ)言，x86仿真器QEMU和電腦的開(kāi)機(jī)引導(dǎo)程序喉镰。第二部分...
-
1 搭建實(shí)驗(yàn)環(huán)境系統(tǒng)版本：Ubuntu 18.04.3 0 介紹 mit6.828是一門(mén)經(jīng)典的操作系統(tǒng)課程旅择，通過(guò)這門(mén)課程可以學(xué)習(xí)到操作系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)。據(jù)說(shuō)會(huì)對(duì)...