seL4 (@sel4foundation) 's Twitter Profile
seL4

@sel4foundation

seL4 is the world's first general-purpose operating system kernel with a proof of implementation correctness, now on Arm, x86 and RISC-V, open source, ...

ID: 1366917273659731969

linkhttps://sel4.systems calendar_today03-03-2021 01:04:19

141 Tweet

658 Takipçi

5 Takip Edilen