29 Mar
2016
29 Mar
'16
3:31 a.m.
Hello,
From this roadmap [0], I can see that ARMv8 support is underway at the
moment. Is this something that's going to be released soon given that the roadmap says Q1-2016 (at least 32-bit) ?
[0] https://sel4.systems/Info/Roadmap
--
Karim Allah Ahmed.