6 Dec
2018
6 Dec
'18
8:59 p.m.
Thanks Amit,
I'm not sure there are any such applications but if you have an application in mind which you would like to build, we are happy to help you design it to be secure and to leverage seL4's isolation guarantees -- feel free to ask any questions along those lines :)
-- Kofi Doku Atuah Kernel engineer DATA61 | CSIRO