Availability for riscv64 OS

Sagar Acharya sagaracharya at tutanota.com
Fri Feb 24 13:41:13 CET 2023

I noticed that there is some support for riscv64. Which kernels and bootloaders are supported for riscv64 based systems. Today, is it possible to build a monocore monoprocess shell based OS with genode?
Thanking you
Sagar Acharya

More information about the users mailing list