"It's Out! seL4 is now open source."

http://sel4.systems/

Kiváncsi vagyok, hogy mi változott a sok évvel ezelőtti változathoz képest.