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 [email protected]<mailto:[email protected]> https://sel4.systems/lists/listinfo/devel
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
