@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 😉
https://trustworthy.systems/projects/LionsOS/