Statements (34)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:operating_system
|
| gptkbp:developer |
gptkb:NICTA
gptkb:CSIRO gptkb:Data61 |
| gptkbp:establishedBy |
2020
|
| gptkbp:governedBy |
seL4 Foundation
|
| gptkbp:hasProperty |
high performance
formally proven correctness minimal trusted computing base |
| https://www.w3.org/2000/01/rdf-schema#label |
seL4
|
| gptkbp:license |
gptkb:GPLv2
gptkb:BSD_2-Clause |
| gptkbp:notableFeature |
real-time support
formally verified high assurance |
| gptkbp:notableProject |
DARPA HACMS
seL4 Foundation |
| gptkbp:operatingSystem |
gptkb:operating_system
|
| gptkbp:platform |
gptkb:ARM
gptkb:RISC-V x86 |
| gptkbp:releaseDate |
2009
|
| gptkbp:sourceModel |
open source
|
| gptkbp:supportedBy |
capability-based security
|
| gptkbp:usedIn |
gptkb:Internet_of_Things
autonomous vehicles embedded systems security-critical systems |
| gptkbp:website |
https://sel4.systems/
|
| gptkbp:writtenBy |
gptkb:Haskell
C |
| gptkbp:bfsParent |
gptkb:L4_nanokernel
gptkb:Coyotos |
| gptkbp:bfsLayer |
7
|