2022

• Релиз ОС Genode 22.05 (70 комментариев)

2021

• Операционная система Fuchsia на устройствах Google Nest Hub (348 комментариев)

2020

• Релиз ОС Genode 20.08 (108 комментариев)

2017

• Debian GNU/Hurd 2017 (309 комментариев)

2014

• Опубликованы видео-записи Moscow Virtualization Meetup (39 комментариев)

2013

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

2010

• RIM скупила QNX Software (247 комментариев)

2009

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

2008

• Вышла QNX Neutrino RTOS 6.4 (75 комментариев)
• Prex 0.8.0 (61 комментарий)

Февраль 2024

• Development Как компилировать на Minix? (15 комментариев)

Январь 2024

• Development Буферы и дисковые кеши (13 комментариев)

2023

• Talks Похоже, микроядра прокляты (129 комментариев)

2022

• General Возможно ли сделать микроядро которое будет работать параллельно с Linux? (10 комментариев)
• Talks Насколько безопасна Embox OS? (65 комментариев)
• Talks Идея проекта безопасного гипервизора или эмулятора (59 комментариев)
• Security Hypervisor на базе ядра seL4 (9 комментариев)
• General Главные различия в реализации микроядер minix и l4? (11 комментариев)

2021

• Talks MINIX3 сдох, пока неофициально (27 комментариев)

2020

• Talks аппаратная поддержка ipc (10 комментариев)

2020

• Talks Поток сознания (75 комментариев)

2019

• Talks Fuchsia не заменит Android (33 комментария)

2018

• Talks Микроядро vs Монолит (104 комментария)
• Job MIPS специалист в Атлас (11 комментариев)
• Talks Я тут подумал: а ведь баги в процах как бы говорят что надо переходить на микроядра (30 комментариев)

2017

• General Хочется странного: linux microkernel (17 комментариев)
• Talks HURD vs Minix (30 комментариев)

2016

• General inside microkernel (1 комментарий)
• Talks А почему ещё никто не сделал микроядра с линуксовыми драйверами? (38 комментариев)

2015

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