My understanding is that seL4 is currently only verified for one particular ARM platform. Is it considered production-ready on other ARM boards?
Sincerely, Demi
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
