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

Обсудить лекции или задать вопросы можно в рассылке

1. System Integrity

2. Introduction to Microkernels

3. Memory, IPC and L4Re

4. Advanced Components on Top of L4Re

5. Crossing Security

6. Genode Architecture

7. Genode Programming Environment

8. Genode Components

9. Genode Composition