マイクロカーネルの上でブラウザを動かすいくつかの研究ついて向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。 Trust and Protection in the Illinois Browser Operating System Embassies: Radically Refactoring the Web – Microsoft Research L4Android: a generic operating system framework for secure smartphones L4Linux L4Android L4 Kernel projects On micro-kernel construction From L3 to seL4 what have we learnt in 20 ye
