j
k
j a
j l
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
Show replies by date
devel@sel4.systems
Add to favorites Remove from favorites