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.