4 ms·
seL4 has a different "issue": The actual OS is missing… ;-) seL4 is just the core of a micro kernel. The hard part would be to build an OS around that.
by still_grokking 4y ago
seL4 has a different "issue": The actual OS is missing… ;-)
seL4 is just the core of a micro kernel. The hard part would be to build an OS around that.