multi-core support
16 May
2016
16 May
'16
5:20 p.m.
Hi, Just want to double check if the seL4 under link https://github.com/seL4/sel4test supports multi-core? If so, the multi-core support is configured by default? If the sel4 does not support multi core, where can we get the experimental version supporting multi core? thanks Peng
3599
Age (days ago)
3599
Last active (days ago)
1 comments
2 participants
participants (2)
-
Gernot Heiser -
PX