Летняя Школа Системного Программирования 5-6 августа, Москва

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