Skip to main content

Search

Items tagged with: sel4


@Axman6 Well, to be fair, #seL4 isn't an *Operating System*, it's an OS microkernel with BYO device drivers.
However, the Lions OS built on top of it should exit the vapourware phase by the end of the year šŸ˜‰
trustworthy.systems/projects/Lā€¦

ā‡§