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
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
