目錄描述arch/包含架構(gòu)相關(guān)的代碼驶沼，里面會(huì)有一些子目錄梧田，如alpha/钞脂，arm/银伟，mips/，blackin/等block/包含塊存儲(chǔ)設(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ù)去負(fù)責(zé)創(chuàng)建intermediate...

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

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