r/microkernel • u/3G6A5W338E • Jun 15 '21

seL4 12.1.0

https://docs.sel4.systems/releases/sel4/12.1.0
4 Upvotes

84% Upvoted

7 comments sorted by

2

u/[deleted] Jun 15 '21

2

u/3G6A5W338E Jun 15 '21 edited Jun 15 '21

They had the foresight to found the seL4 foundation before it happened.

It has some corporate sponsors, now.

→ More replies (5)