Stars
The ACPI Component Architecture (ACPICA) project provides an open-source operating system-independent implementation of the Advanced Configuration and Power Interface specification (ACPI). For deta…
Test the non-AVX, AVX2 and AVX-512 speeds across various active core counts
jschlatow / genode
Forked from genodelabs/genodeGenode OS Framework (migrated to codeberg.org)
Collection of community-maintained components for Genode (migrated to codeberg.org)
i.MX SoC family support for the Genode OS framework (migrated to codeberg.org)
cnuke / genode-world
Forked from genodelabs/genode-worldCollection of community-maintained components for Genode
Website for stories around the Genode operating system (migrated to codeberg.org)
Reference manual for the Genode OS Framework (migrated to codeberg.org)
ssumpf / seoul
Forked from alex-ab/seoulA x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
Genode OS Framework (migrated to https://codeberg.org/genodelabs/genode)