Slide 34
Slide 34 text
35
Theseus
Kevin Boos, et al. “Theseus: an Experiment in Operating System Structure and State Management”.
https://dl.acm.org/doi/10.5555/3488766.3488767
• Rustで書かれたOS
• Kernel自身が動的リンカになっている
• Kernelやapplicationのモジュール(crate)をobject fileとして動的にロード, リンクする
• Fault RecoveryやLive Updateを実現