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.