Availability for riscv64 OS

[Martin Stein]

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