4 ms·
Multicore is on the seL4 roadmap[0], albeit the proof is listed as TBD. 0: http://sel4.systems/Info/Roadmap/ http://sel4.systems/Info/Roadmap/
by indolering 10y ago
Multicore is on the seL4 roadmap[0], albeit the proof is listed as TBD.
0: http://sel4.systems/Info/Roadmap/ http://sel4.systems/Info/Roadmap/