8 Dec
2021
8 Dec
'21
noon
Hello,
On 12/7/21 6:53 PM, Turlough Suilleabhain wrote:
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..
Genode currently does not support RISC-V on seL4, only on our custom base-hw kernel. Otherwise, the source tree is intended for other RISC-V platforms as well.
Regards,
Sebastian
--
Sebastian Sumpf
Genode Labs
http://www.genode-labs.com · http://genode.org
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth