GPLv2 alatt a Secure Embedded L4 (seL4) mikrokernel kódja

 ( trey | 2014. július 30., szerda - 10:10 )

Ahogy arról már néhány hete szó volt itt a HUP-on, megnyílt a Secure Embedded L4 (seL4) mikrokernel forrása. Június elején még nem lehetett tudni, hogy a projekt milyen nyílt forrású licenc(ek) alatt teszi majd elérhetővé a kódokat, de ez most már nem titok. A seL4 kernel kódja GPLv2 alatt érhető el. A userland eszközök és library-k többnyire BSDL alatt. A licencelésről részletesen itt lehet olvasni.

A forráskód elérhető a GitHub-on. Érdekesség - a dogfooding szép példája -, hogy a projekt sel4.systems weboldalát seL4-en futó Linuxon futó Apache szolgálja ki.