Hi
The closest current activity I’m aware off is our Makatea project which, in collaboration with Swiss company Neutrality, has a (presently) more limited aim of isolating servers on a private cloud: https://trustworthy.systems/projects/TS/makatea
That sounds very interesting but there are not many resources linked on that page. Could you please provide more pointers?
I am currently working in the Summer of Nix programme to package NGI-funded projects.
Kind regards, Stephan _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
