I wanted to put the highlights in the “features” section. Do you think I should use those on the Genode homepage “about”
CPU architectures: x86 (32 and 64 bit), ARM (32 and 64 bit), RISC-V
Kernels: most members of the L4 family (NOVA, seL4, Fiasco.OC, OKL4 v2.1, L4ka::Pistachio, L4/Fiasco), Linux, and a custom kernel.
Virtualization: VirtualBox (on NOVA), a custom virtual machine monitor for ARM, and a custom runtime for Unix software
Over 100 ready-to-use components
… Or the much more verbose equivalent in Genode Foundations?
CPU architectures
Genode supports the x86 (32 and 64 bit), ARM (32 and 64 bit), and RISC-V (64 bit) CPU architectures. On x86, modern architectural features such as IOMMUs and hardware virtualization can be utilized. On ARM, Genode is able to take advantage of TrustZone and virtualization technology.[1]
Kernels
Genode can be deployed on a variety of different kernels including most members of the L4 family (NOVA, seL4, Fiasco.OC, OKL4 v2.1, L4ka::Pistachio, L4/Fiasco). Furthermore, it can be used on top of the Linux kernel to attain rapid development-test cycles during development. Additionally, the framework is accompanied with a custom microkernel that has been specifically developed for Genode and thereby further reduces the complexity of the trusted computing base compared to other kernels.[1]
Virtualization
Genode supports virtualization at different levels:
Using NOVA or Genode's custom kernel, faithful virtualization via VirtualBox allows for the execution of unmodified guest operating systems as Genode subsystems. Alternatively, the Seoul virtual machine monitor can be used to run unmodified Linux-based guest OSes.
On ARM, Genode can be used as TrustZone monitor, or as a virtual machine monitor that facilitates ARM's virtualization extensions.[1]
Building blocks
The Framework consists of hundreds of ready-to-use components such as:
Device drivers for most common PC peripherals including networking, storage, display, USB, PS/2, Intel wireless, Intel GPUs, and audio.
Device drivers for a variety of ARM-based SoCs, in particular the NXP i.MX family.
A GUI stack including a low-complexity GUI server, window management, and widget toolkits such as Qt5.
Networking components such as TCP/IP stacks and packet-level network services.
Applications based on the POSIX interface, including GNU coreutils, bash, GCC, binutils, and findutils.[1]
I think the former is more concise.