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