QEMU is a generic and open source machine emulator and virtualizer.
A toolkit to interact with the virtualization capabilities of recent versions of Linux and other OSes.
Kimchi is an HTML5 based management tool for KVM.
The Patchew development mailing list (source code for this website).
Webserver of Kimchi - a cherrypy framework for multi-purpose plug-ins.
EDK II is a modern, feature-rich, cross-platform firmware development environment for the UEFI and PI specifications.
SeaBIOS is an open source implementation of a X86 BIOS.
Submit a request now!
© 2016 - 2017 Red Hat, Inc.