Sel4

3

0

Всего сообщений: 4

Форум

Сентябрь 2023

Talks Kry10 - OS, основанная на ядре seL4 (7 комментариев)

2022

Security Hypervisor на базе ядра seL4 (9 комментариев)

2018

Job MIPS специалист в Атлас (11 комментариев)

2013

Talks Ядро на haskell? Что я еще интересненького пропустил? (62 комментария)