Post-mutikernel approach to multiprocessor support?
30 Sep
2016
30 Sep
'16
12:40 a.m.
Hi all, 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.) Thanks, Jeff
3459
Age (days ago)
3464
Last active (days ago)
5 comments
2 participants
participants (2)
-
Gernot.Heiser＠data61.csiro.au -
Jeff Waugh