L4

2015

• Job Ведущий программист RTOS (с прицелом на микроядра и L4) (11 комментариев)

2013

• Job Возьмем студентов на работу/практику/диплом (7 комментариев)
• Talks Ядро на haskell? Что я еще интересненького пропустил? (62 комментария)

2013

• Talks Аппаратное микроядро. Final discussion (51 комментарий)

2012

• Talks Поговорим о микропроцессорах, встраиваемых системах и микроядрах? (18 комментариев)

2014

• Открыты исходники seL4! (188 комментариев)

2013

• Летняя школа системного программирования (SSS'13) (85 комментариев)

2009

• Выпущено Codezero Microkernel 0.2 (24 комментария)