2/10 第33次星系活動：From L3 to seL4 What Have We Learnt in 20 Years of L4 Microkernels? (jserv)

[Ben6]

報名頁： http://juluosdev.kktix.cc/events/d7cc0d15
名額有限機會難得，請務必上 kktix 報名，以免向隅。

PS: 因為場地所限，為免太過擁擠，未報名者請勿出席，感謝配合。

今年首場主題活動，將在2/10 19:30~22:00，特別邀請 我們的核心成員 jserv 來深入探討 Microkernels 領域技術 新知。

摘要

延續之前的演講，以今年 Microkernel 領域最經典的技術報告 "From L3 to seL4: What Have We Learnt in 20 Years of L4 Microkernels?"，作同名的演講，為大家說明這二十年來，有哪些本質上的變遷。