主題內容：From L3 to seL4 What Have We Learnt in 20 Years of L4 Microkernels? SOSP 2013 (120分鐘)
分享者：Jim Huang
提綱
- Introduction
- The L4 Microkernel Family
- Principles and concepts
- Design and implementation tricks
- seL4 Design
摘要
延續之前的演講，以今年 Microkernel 領域最經典的技術報告 "From L3 to seL4: What Have We Learnt in 20 Years of L4 Microkernels?"，作同名的演講，為大家說明這二十年來，有哪些本質上的變遷。
背景知識
參加活動前，請大家配合，先行預習（較易於與講者互動，也能利於提出問題）：
Paper: http://sigops.org/sosp/sosp13/papers/p133-elphinstone.pdf
備註
活動時間：2014/2/10 7:30pm 開始，6:30pm 開始入場
活動地點：Ville Cafe 台大公館店
台北市中正區羅斯福路三段284巷5號2樓 （捷運公館站4號出口直走，發現義大利麵巷口左轉。）
註1: 參加者需在店消費約150 ～ 300元，折抵場地費。
＊場地二樓70 個位置包場方式為低消乘以人數，如果超過 20 人就要視低消狀況決定是否要付場地費。
＊若有需要，場地清潔費將採參與者自由零錢募捐，但以不超過佰元為宜；不足部分由主辦方補足，結餘作為日後活動基金，支出明細公告於官網。
註2: 活動採分享心得或研究實作展示。
註3: 活動場地有提供無線網路，請不要把電腦忘在家裡。
