Co se píše o: mikrojádro
Zdrojové kódy seL4 otevřeny

Další jádro operačního systému bude mít otevřené zdrojové kódy. Tentokrát je to mikrojádro seL4, u něhož se tvůrci chlubí vysokou kvalitou zajišťovanou matematickou verifikací kódu.
Tuesday, 29. July 2014
| Autor Lukáš Jelínek
1
| známka 1.00
Rozhovor s Andrewem Tanenbaumem
LinuxFr.org publikoval rozhovor s Andrewem Tanenbaumem, autorem systému MINIX.
Sunday, 20. November 2011
| Autor Lukáš Jelínek