A simple x86 operating system with graphical user space

Utility and docs to run hardware-accelerated Android images on Linux QEMU KVM

MIT xv6-riscv extended with three kernel features: cooperative coroutines, a favouritism-based "Israeli" lock with a PRNG, and a virtio-GPU framebuffer with graphics demos (Game of Life).

VA-API compatibility shim for virgl/virtio-gpu I420 DRM PRIME exports

Nix Firefox wrapper for virgl/virtio-gpu VA-API video decode

VirtIO GPU driver (virtiogpu.chip) for AmigaOS 4.1 on QEMU Pegasos2