Sel4
Всего сообщений: 4
Форум
2023
- Talks Kry10 - OS, основанная на ядре seL4 (7 комментариев)
2022
- Security Hypervisor на базе ядра seL4 (9 комментариев)
2018
- Job MIPS специалист в Атлас (11 комментариев)
2013
- Talks Ядро на haskell? Что я еще интересненького пропустил? (62 комментария)