multi-core support
17 May
2016
17 May
'16
1:20 a.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
3600
Age (days ago)
3600
Last active (days ago)
1 comments
2 participants
participants (2)
-
Gernot Heiser -
PX