Re: [seL4] Multicore for 64-bit ARM

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.systemsmailto:Devel@sel4.systems

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