Hi Luke, The experimental support for aarch64 SMP is already in the master branch on seL4 github. Regards, Yanyan On Wed, 2019-05-22 at 01:48 +0000, Rutherford, Luke wrote: 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<mailto:Devel@sel4.systems> https://sel4.systems/lists/listinfo/devel