4 ms·
Or perhaps very few people are in a position to use a very recently Open Sourced OS that has no file system or network stack, or write these things for it? Pre
by nullc 12y ago
Or perhaps very few people are in a position to use a very recently Open Sourced OS that has no file system or network stack, or write these things for it?
Presumably you'd want formally verified versions of at least the network device driver... otherwise process isolation might be violated.
- imanaccount247 12y agoTons of people use L4 for their systems, there's billions of devices running some L4 kernel. The question is why are they not switching to SEL4 given that it provides the same thing they are already using, but faster and proven correct.