As an addition: I'm confused by your requirements. "Monocore" is no problem but I don't see how "monoprocess" fits with the main ideas behind Genode. Genode is a microkernel-based architecture and as such it runs drivers, multiplexers, etc. as separate userland programs in order to reduce the TCB.
Cheers, Martin On 27.02.23 10:53, Martin Stein wrote: > 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 > _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
