I see this on your roadmap:

https://sel4.systems/Info/Roadmap/

planned

Multicore for 64-bit ARM and x64

master

 

Do you have any updates on when this will be implemented?

_______________________________________________

Devel mailing list

Devel@sel4.systems

https://sel4.systems/lists/listinfo/devel