3 ms·
I think seL4 didn't yet have multicore support when zircon was forked from LK, could be wrong.
by anp 6y ago
I think seL4 didn't yet have multicore support when zircon was forked from LK, could be wrong.
- cmrdporcupine 6y agoThanks. That seems reasonable.