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?

Sorry, no. Multicore support is still in the lab. It’s unfortunately not the highest priority right now. 

Status is that we’ve internally got a well-performing implementation, but we’re still evaluating the best implementation trade-offs, and the present version will require clean-up for release.

Furthermore, we have presently 4 major developments which are in their own branches and will need merging for release: multicore, real-time support, full virtualisation support, and 64-bit. These will be merged in one after the other. This, needless to say, requires the more work the further back in the merge sequence a particular branch is.

Unfortunately, multicore has the lowest priority, as there are paying customers waiting on all the other bits.

I things drag on we might consider releasing multicore as an experimental branch.

Gernot