Availability for riscv64 OS
martin.stein at genode-labs.com
Mon Feb 27 12:18:26 CET 2023
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.
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  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.
>  https://genode.org/documentation/release-notes/21.05#RISC-V
>  https://genodians.org/ssumpf/2021-02-24-riscv
>  https://genode.org/documentation/articles/riscv
>  https://genode.org/documentation/release-notes/22.08#RISC-V
>  repos/base-hw/src/bootstrap
>  repos/base-hw/src/core/kernel
>  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
>> Genode users mailing list
>> users at lists.genode.org
> Genode users mailing list
> users at lists.genode.org
More information about the users