As far as I know, in the Genode world, only the base-hw kernel supports riscv. The bootloader loads base-hw bootstrap [5] which then loads the base-hw kernel [6], which is part of and initializes Genode Core [7]. The two supported riscv platforms (BOARD variable) are virt_qemu_riscv (qemu-system-riscv64) and migv (Hensoldt Cyber MiG-V). Please see [1], [2], [3], and [4] for more information.
Cheers, Martin [1] https://genode.org/documentation/release-notes/21.05#RISC-V [2] https://genodians.org/ssumpf/2021-02-24-riscv [3] https://genode.org/documentation/articles/riscv [4] https://genode.org/documentation/release-notes/22.08#RISC-V [5] repos/base-hw/src/bootstrap [6] repos/base-hw/src/core/kernel [7] repos/base/src/core 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 > https://designman.org > > _______________________________________________ > Genode users mailing list > [email protected] > https://lists.genode.org/listinfo/users > _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
