Hi Jeff, Is there anything that can be shared so far about seL4's post-multikernel approach to multiprocessor support?
(I couldn't see anything new or upcoming on the publications pages, and figured a paper or two might land before code aimed for Q4'16.) Paper is here: https://arxiv.org/abs/1609.08372 Multicore pull requests are being generated internally, things should become visible soon Gernot
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
