[27.01.2015]: 4. Ретроспективный взгляд на проекты последних четырех лет

[13.03.2015]: 5. BFT, RAFT: консунсус протоколы и отказоустойчивость

Семинар посвящен разработке и имплементации консунсус протокола для управления распределенным класстеров серверов

[10.12.2013]: 3. L4Re hardening

Семинар посвящен управлению памятью в микроядерном окружении L4Re, Buffer-overflow атакам и средствам им противодействия.

[08.09.2013]: 2. Userspace TCP/IP stack

В настоящее время L4Re и Genode используют LwIP в качестве TCP/IP стека. Этот стек был разработан для встраиваемых контроллеров и микропроцессоров, как следствие функционал необходимый высокопроизводительному сетевому оборудованию отсутствует.

Обсуждению архитектуры новой сетевой подсистемы для L4Re и Genode будет посвящен этот семинар.

[04.06.2013]: 1. QorIQ P2041 internal architecture