Neptune OS: A Windows NT personality for the seL4 microkernel

Twitter client for UEFI

4.4BSD Lite Release 2: last Unix operating system from Berkeley

Mach 3

Source code of a multiple series of tutorials about the hypervisor. Available at: https://rayanfam.com/tutorials

The pci.ids file

QEMU-based NetBSD docker images

Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

The RISC-V Virtual Machine