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 users@lists.genode.org https://lists.genode.org/listinfo/users
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users