přejít na obsah přejít na navigaci

Linux E X P R E S, Zdrojové kódy seL4 otevřeny

EDU Trainings IT školení

Zdrojové kódy seL4 otevřeny

seL4

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.


Není to ani půl roku, co byl operační systém Plan9 přelicencován na GNU GPLv2 a díky tomuto otevření z něj lze kód například přímo využít v Linuxu. Teď přichází další dobrá zpráva: otevření zdrojových kódů mikrojádra seL4. Vlastní jádro bude licencováno pod GPLv2 (tj. stejně jako Linux), knihovny a nástroje pod licencí BSD.

Jádro seL4 patří mezi mikrojádra rodiny L4 a smyslem jeho vzniku bylo vytvoření základu pro vysoce bezpečné a spolehlivé systémy. Tvůrci se chlubí vysokou kvalitou tohoto mikrojádra, která je zajišťována matematickou verifikací kódu na jeho shodu s formální specifikací. Implementace mikrojádra seL4 podporuje architektury x86 a ARM.

Nahoru

Příspěvky

Zdrojové kódy seL4 otevřeny
fan fan 30. 07. 2014, 14:23:30
Odpovědět  Odkaz 
+1

Přidat názor

Nejsou podporovány žádné značky, komentáře jsou jen čistě textové. Více o diskuzích a pravidlech najdete v nápovědě.
Diskuzi můžete sledovat pomocí RSS kanálu rss



 
 

Top články z OpenOffice.cz

Lukáš Jelínek

Lukáš Jelínek

Dlouholetý člen autorského týmu LinuxEXPRESu a OpenOffice.cz. Vystudoval FEL ČVUT v oboru Výpočetní technika. Žije v Kutné Hoře, podniká v oblasti IT a zároveň pracuje v týmu projektu Turris. Ve volném čase rád fotografuje, natáčí a stříhá video, občas se věnuje powerkitingu a na prahu čtyřicítky začal hrát tenis.


  • Distribuce: Debian, Kubuntu, Linux Mint
  • Grafické prostředí: KDE

| proč linux | blog


EDU Trainings

Redakční blog

Pavel Fric

Pavel Fric, 21. srpen

Sayonara Player 1.5.1

Přehrávač, jak má být. Poslední dobou vývoj šlape


Pavel Fric

Pavel Fric, 26. leden

MuseScore 3

První aktualizace třetí řady notačního editoru MuseScore


Redakce

Redakce, 21. prosinec

Pište pro LinuxEXPRES

Baví vás Linux? Pište o něm, není to nic těžkého. LinuxEXPRES hledá nové autory.


Všechny blogy »

Lokia