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 _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
