-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
-
virtualbox-kvm Public
Forked from cyberus-technology/virtualbox-kvmKVM Backend for VirtualBox. With our current development model, we cannot easily accept pull requests here. If you'd like to contribute, feel free to reach out to us, we are happy to find a solution.
GNU General Public License v3.0 UpdatedSep 4, 2025 -
bender Public
Forked from blitz/benderA multiboot chainloader that makes PCI serial cards available for legacy use
C GNU General Public License v2.0 UpdatedJul 12, 2023 -
-
-
seoul Public
Forked from TUD-OS/seoulA x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
-
genode Public
Forked from genodelabs/genodeGenode OS Framework
C++ GNU General Public License v2.0 UpdatedMar 7, 2014 -
-
-
{{ message }}