Availability for riscv64 OS
martin.stein at genode-labs.com
Mon Feb 27 10:53:36 CET 2023
As far as I know, in the Genode world, only the base-hw kernel supports
riscv. The bootloader loads base-hw bootstrap  which then loads the
base-hw kernel , which is part of and initializes Genode Core .
The two supported riscv platforms (BOARD variable) are virt_qemu_riscv
(qemu-system-riscv64) and migv (Hensoldt Cyber MiG-V). Please see ,
, , and  for more information.
On 24.02.23 13:41, Sagar Acharya via users wrote:
> 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
> Genode users mailing list
> users at lists.genode.org
More information about the users