seL4
From Wikipedia, the free encyclopedia
seL4 (Secure Embedded L4) je svobodné jádro operačního systému, přesněji mikrojádro třetí generace, zaměřené na vysokou bezpečnost a spolehlivost.[1]
Stručná fakta Vyvíjí, Rodina OS ...
Vyvíjí | NICTA a další[1] |
---|---|
Rodina OS | Unix-like a další |
Druh | Svobodný software |
Aktuální verze | 12.1.0[2][3][4] / 15 června 2021 |
Podporované platformy | 32bitové: ARM: ARMv6 (ARM11) ARMv7 (Cortex A8, A9, A15) Intel: x86 64bitové: ARM: ARMv8 (Cortex A53 (Raspberry Pi 3)[5] (Cortex A72 Raspberry Pi 4)[6]) Intel: x86-64 RISC-V:RV64[7][8] |
Typ jádra | mikrojádro třetí generace |
Programovací jazyk | Haskell (model), C, assembler |
Licence | Svobodný software, převážně GNU GPLv2[9] a BSDv2. |
Stav | Aktivní |
Oficiální web | seL4 (anglicky) seL4 Home L4.verified Home |
Zavřít
Mikrojádro seL4 bylo vytvořeno jako pokračovatel revolučního mikrojádra druhé generace L4 německého počítačového vědce jménem Jochen Liedtke.
Mikrojádro L4 bylo vytvořeno zejména s důrazem na co nejvyšší výkon. Také mikrojádro seL4 bylo vytvořeno s důrazem na vysoký výkon, avšak zároveň s přihlédnutím k otázkám bezpečnosti a formální bezchybnosti. Důležité zlepšení také spočívá v lepší přenositelnosti, a to nejen uživatelských serverů (poskytovatelů služeb mikrojádra běžících v uživatelském prostoru), ale též vlastního mikrojádra.[10]