7 Dec
2021
7 Dec
'21
5:53 p.m.
Question: Is the RISC-V seL4 implementation only available for the Hensoldt Cyber MIG-V processor as Trentos-G or is that source tree branch intended for wider public release and other RISC-V processors ?
Thank you in advance..