CSIRO Data61 bins Trustworthy Systems team behind seL4
Provably secure microkernel will continue in its own foundation, but the team within Data61 is no more.
Go to Source
Provably secure microkernel will continue in its own foundation, but the team within Data61 is no more.
Go to Source