22 May
2019
22 May
'19
11:48 a.m.
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?
24 May
24 May
11:46 a.m.
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
1792
Age (days ago)
1794
Last active (days ago)
1 comments
2 participants
participants (2)
-
Rutherford, Luke -
Shen, Yanyan (Data61, Kensington NSW)