RISC-V Genode availability ?

[Sebastian Sumpf]

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