目錄描述arch/包含架構(gòu)相關(guān)的代碼，里面會有一些子目錄，如alpha/，arm/，mips/挽拂，blackin/等block/包含塊存儲設(shè)備的代...

指令作用more /etc/issue返回當(dāng)前使用的Linux版本ps -p $$返回當(dāng)前使用的shellwhoami返回當(dāng)前登陸的用戶名upt...

Linux工具鏈通常來源于GNU project或Clang/LLVM project。其中LLVM使用BSD license，而GNU使用GP...

虛擬內(nèi)存 seL4不提供虛擬內(nèi)存管理唱歧，除了那些用于操作硬件的paging structure。用戶態(tài)必須有服務(wù)去負責(zé)創(chuàng)建intermediate...

capability的概念 capability是用于訪問系統(tǒng)中的entity/object的獨一無二的token粒竖。在seL4初始化階段颅崩，那些可...

seL4的內(nèi)存管理 在seL4中，除了少量靜態(tài)內(nèi)存屬于內(nèi)核蕊苗，所有的物理內(nèi)存都由用戶態(tài)管理沿后。在root task開始運行的時候就已經(jīng)獲取了所有se...