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

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

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



Public Relations

OpenRadioss: Simulace dynamických dějů nyní jako open-source

OpenRadiossNa podzim loňského roku Altair překvapil odbornou veřejnost z řad výpočtářů a vývojových inženýrů představením řešiče OpenRadioss. Jak už název napovídá, Open­Radi­oss je open-source verzí explicitní­ho solveru Altair Radioss, CAE nástroje pro simulace rychlých dějů, jakými jsou tolik populární virtuální testy nárazů vozidel, včetně vyhodnocení pasivní bezpečnosti, zkoušky odolnosti leteckých konstrukcí, pádové zkoušky elektronických zařízení a podobně.

Pokračování ...



Public Relations

Zabezpečte firemní komunikaci a chraňte citlivé informace vaší společnosti pomocí MailStore

Stále více malých a středních podniků (MSP) přechází na Microsoft 365 v cloudu. Očekávají přitom, že jejich data jsou zde automaticky v bezpečí. Jenže tak tomu není. Přestože cloudové služby nabízejí vysokou úroveň zabezpečení, nejsou data v Microsoft 365 archivována a zálohována automaticky.

Pokračování ...


Redakční blog

Pavel Fric

Pavel Fric, 10. April

Zapojte se do tvorby distribuce Mageia

Podílejte se na vytváření balíčků pro Mageiu, dělejte, co je potřeba, staňte se baličem


Pavel Fric

Pavel Fric, 13. March

Lollypop

Lollypop je hudební přehrávač navržený, jak ukazuje jeho podoba, aby výborně zapadl do pracovního...


Pavel Fric

Pavel Fric, 26. February

QElectroTech

Kreslení elektrotechnických i jiných výkresů


Všechny blogy »