這是seL4運(yùn)行機(jī)制的第1篇。截圖中的代碼和log不額外說明，都是指截圖的最后一行 首先，我們從代碼開始，這是最直觀的東西。從程序中語言化的概念性的東西有點(diǎn)過于玄虛，漢化之后...
發(fā)簡(jiǎn)信
IP屬地：北京
-
2. seL4-Capabilities -
0.0 seL4 環(huán)境搭建懶人版
1 安裝docker 執(zhí)行完之后如果使用docker需要加sudo，可以給docker增加root權(quán)限： 2 導(dǎo)入鏡像 鏈接：https://pan.quark.cn/s/...
-
1. seL4-hello world這部分的目的是驗(yàn)證環(huán)境的可用性。 0 python依賴 1 拉取代碼 安裝幾個(gè)依賴包： 2 編譯 執(zhí)行： 此時(shí)會(huì)生成一個(gè)新的文件夾（名字可能會(huì)變化）： 進(jìn)入該文件夾，使用ni...
-
1. Docker鏡像使用
1 安裝 使用官方的腳本自動(dòng)安裝： 執(zhí)行完之后如果使用docker需要加sudo，可以給docker增加root權(quán)限： 2 拉取docker鏡像 這條指令是用于在 Docke...
-
0. seL4 環(huán)境搭建
系統(tǒng)環(huán)境：ubuntu 22.04*嫌麻煩的的話可以直接轉(zhuǎn)向：0.0 seL4 環(huán)境搭建懶人版 - 簡(jiǎn)書 (jianshu.com)[https://www.jianshu....
-
Ubuntu 18.04 LTS 因安裝 python3.8.10 導(dǎo)致終端打不開通過圖標(biāo)打開終端時(shí)，會(huì)一直轉(zhuǎn)圈，無法打開終端。 1 首先確定python版本安裝正常 使用whereis命令查看python安裝是否正常。 2 重新鏈接python 3 al...
-
6.828 操作系統(tǒng) lab2 實(shí)驗(yàn)報(bào)告Introduction 該 lab 主要需要編寫操作系統(tǒng)的內(nèi)存管理部分。內(nèi)存管理分為兩個(gè)部分： 內(nèi)核的物理內(nèi)存分配器 (physical memory allocator)...
-
以個(gè)人學(xué)習(xí)筆記為主
-
f1 lab1:Booting a PC翻譯
更新至2018年9月13日 介紹 這個(gè)實(shí)驗(yàn)室分為3個(gè)部分。第一部分，主要是熟悉x86匯編語言，x86仿真器QEMU和電腦的開機(jī)引導(dǎo)程序。第二部分研究6.828內(nèi)核的引導(dǎo)加載程...
-
歡迎關(guān)注我的公眾號(hào)：studycode<br>微信：jingwumen777<br><br>github地址: <a href="https://links.jianshu.com/go?to=https%3A%2F%2Fgithub.com%2Fjieniu" target="_blank">https://github.com/jieniu</a><br>blog: <a href="https://links.jianshu.com/go?to=http%3A%2F%2Fyaje.fun" target="_blank">http://yaje.fun</a><br><br>
-
1 搭建實(shí)驗(yàn)環(huán)境系統(tǒng)版本：Ubuntu 18.04.3 0 介紹 mit6.828是一門經(jīng)典的操作系統(tǒng)課程，通過這門課程可以學(xué)習(xí)到操作系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)。據(jù)說會(huì)對(duì)linux開發(fā)很有幫助，作為一...
-
@prophet__ 那就不清楚了，可能是又有更新了吧。我從做完畢設(shè)就沒有用過ros了，所以對(duì)它現(xiàn)在的發(fā)展也不太清楚
ROS進(jìn)階學(xué)習(xí)（三） - 對(duì)大型項(xiàng)目的roslaunch的建議
這個(gè)教程就是為大型項(xiàng)目設(shè)計(jì)roslaunch文件的一些建議，使設(shè)計(jì)出來的文件能夠適用于更多的場(chǎng)景 1 介紹 一個(gè)大的應(yīng)用一半有很多互相連接的node，每一個(gè)都有很多參數(shù)。一個(gè)...
-
C++學(xué)習(xí)筆記（二十一） - Qt高亮顯示參考文獻(xiàn)：Qt Qsyntaxhighlighter給QTextEdit設(shè)置豐富的語法高亮格式Syntax Highlighter Example 1 背景 做了個(gè)TCP客戶...
-
10 C語言的妖怪！隱式聲明緣起 相傳2019年3月8日女神節(jié)，天降暴雨。在一個(gè)年輕程序員的電腦里，發(fā)生了一件奇異的事……他寫了這樣一個(gè)函數(shù)： 函數(shù)內(nèi)容不重要，主要是形參是float類型，這日后導(dǎo)致了悲...
-
9 STM32存儲(chǔ)結(jié)構(gòu)及堆?？臻g梳理分析芯片：STM32F415IDE：IAR系統(tǒng)：FreeRTOS（慶科） 0 背景 由于代碼本身基于就是慶科修改過的FreeRTOS，又加入了別的沒有完全開源的庫，再加上不是自己...
-
不客氣的講，你這是我見過的最爛的影評(píng)了
《白蛇：緣起》的”少兒不宜“是國產(chǎn)動(dòng)畫業(yè)界的一大突破
文/泡泡圈漫評(píng)團(tuán) 緋宅 事先提醒，千萬不要錯(cuò)過片尾曲后的彩蛋?。?！片尾曲很短一下就結(jié)束了！?。?從電影院里走出來，我迫不及待在豆瓣上給《白蛇：緣起》打了五星，當(dāng)然，按我的標(biāo)準(zhǔn)...
-
@丟丟_5407 沒有誒
碩士英語課后翻譯(unit 3 text A)
3-a-1 When economists began to measure the sources of economic growth, what previously...
