第33次星系活動:From L3 to seL4 What Have We Learnt in 20 Years of L4 Microkernels?

主題內容: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 開始入場

官方網址:http://www.juluos.org

共筆網址:http://sync.in/juluosdev

活動地點:Ville Cafe 台大公館店

台北市中正區羅斯福路三段284巷5號2樓 (捷運公館站4號出口直走,發現義大利麵巷口左轉。)

註1: 參加者需在店消費約150 ~ 300元,折抵場地費。

 *場地二樓70 個位置包場方式為低消乘以人數,如果超過 20 人就要視低消狀況決定是否要付場地費。

 *若有需要,場地清潔費將採參與者自由零錢募捐,但以不超過佰元為宜;不足部分由主辦方補足,結餘作為日後活動基金,支出明細公告於官網。

註2: 活動採分享心得或研究實作展示。

註3: 活動場地有提供無線網路,請不要把電腦忘在家裡。

Ville Cafe 台大公館店 / 中正區羅斯福路三段284巷5號

活動票券

票種 販售時間 售價
一般票 2014/01/20 13:20(+0800) ~ 2014/02/10 22:00(+0800) 結束販售
  • 免費
下一步