29 Mar
2016
29 Mar
'16
3:31 a.m.
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
Hello, the roadmap says Q1-2016 (at least 32-bit) ? [0] https://sel4.systems/Info/Roadmap -- Karim Allah Ahmed.