Comment by tkz1312
multicore sel4 is implemented but still unverified:
https://docs.sel4.systems/projects/sel4/frequently-asked-que...
multicore sel4 is implemented but still unverified:
https://docs.sel4.systems/projects/sel4/frequently-asked-que...
I guess https://github.com/seL4/l4v/tree/rt is the ongoing verification work for that