Codezero to nowa implementacja mikrojądra z rodziny L4, przeznaczona głównie dla urządzeń wbudowanych. Licencjonowana jest na GNU GPLv3.
Ta rodzina jąder zawiera już m.in. L4Ka::Pistachio, L4/MIPS i Fiasco. Twórcy Codezero chcą jednak stworzyć coś bardziej eleganckiego i prostszego niż te istniejące już...Technologie
Projekt Microsoft Research rozpoczęty w 2003 w końcu ujrzał światło dzienne. Dostępny jest za darmo, do użytku akademickiego, niekomercyjnego.Singularity jest to projekt badawczy Microsoft, mający na celu zbudowanie w pełni funkcjonalnego systemu operacyjnego opartego na mikrojądrze.
Singularity Research Development Kit (RDK)...Bez kategorii
Open Kernel Labs poinformował, że jego mikrojądro OKL4 pracuje na aparatach Neo1973. OKL4 jest bezpośrednim potomkiem NICTA::Pistachio-embedded, a pośrednio pochodzi od L4Ka::Pistachio, i obecnie jest rozwijane na licencji BSD. Najciekawszą cechą OKL4 jest obsługa wirtualizacji na urządzeniach wbudowanych.
