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?