EN
RU
EN
Main
Selections
Speakers
Schedule
Lectures
About
FAQ
SSS'13
SSS'12
1. Intro
2. Operating Systems Hardenning
3. Genode OS Framework
4. NOVA Microhypervisor
6. Operating Systems Meet Fault Tolerance
7. Hardware Errors and the OS