L4Linux

L⁴Linux представляет собой модифицированную версию ядра Linux, адаптированную для того, чтобы запускаться на микроядре L4.

L⁴Linux

L⁴Linux не ответвление Linux, но двоично совместим с ним. Благодаря этому может заменить Linux/x86 ядро в любом на нём основанном дистрибутиве.

L⁴Linux разрабатывался проектом Dresden Real-Time Operating System Project (DROPS) c целью позволить «вычислениям в реальном времени» и программам «разделенного времени» работать на компьютере параллельно и одновременно.

L⁴Linux также позволяет удалённо установить гипервизор, как Xen и KVM. Однако, следует отметить, что цели проекта и концепции L4 и Xen отличаются.

L⁴Android

L⁴Android является ответвлением L⁴Linux, охватывающим изменения Linux на пути к Android. Это совместный проект группы операционных систем Дрезденского технологического университета и кафедры по безопасности в области электросвязи Берлинского технологического института.

Ссылки

• Adam Lackorzynski, Janis Danisevskis, Jan Nordholz and Michael Peter Real-Time Performance of L4Linux // Proceedings of the 13th Real Time Linux Workshop, Прага, 2011.