24 Feb
2023
24 Feb
'23
12:41 p.m.
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