<comment> The below message was posted to [email protected]. It was inappropriate for that list, but got though due to a configuration error (now fixed). I’m reposting it here as it would be appropriate for this list. Feel free to respond here. </comment>
Hello, Which operating systems are based on seL4 Microkernel? Any home usage? Thanks. _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
