對於小白來說，自己獨自完成對seL4微內核的閱讀和理解真的很困難，目前跟著老師助教一起進行對seL4微內核的分析和理解。所以准備長期更新seL4學習的博客，希望大家多多支持，錯誤之處還請各位幫忙指出改正。
對於兩者的區別也就簡單提一下，相關的資料十分充足可以自行查找滿足自己的需求。
微內核：所有的服務器都相對獨立並且運行在各自的地址空間。通過進程間通信機制（IPC）實現進程之間的通訊，互換“服務”。服務器的獨立運行避免了一個服務器崩潰或及其他的服務器。
宏內核：也稱為單內核，將內核從整體上作為一個大過程實現，並且同時運行在一個單獨的地址空間。這也意味所有的內核服務之間可以直接調用函數，簡單高效。
下圖為宏內核與微內核架構圖：
下面的示例均為Ubuntu14.04版本（64-bit）或者可以安裝在Ubuntu16.04版本（64-bit），當然也可以嘗試其他的Unix系統（包括Mac OS）等。
下圖為進行第一個實驗的要求：
推薦技術分享網站：http://www.jianshu.com/users/d130a6d54c7b/latest_articles（技術分享，歡迎大家捧場）
