A toolkit to interact with the virtualization capabilities of recent versions of Linux and other OSes.
https://github.com/patchew-project/patchew
The Patchew development mailing list (source code for this website).
http://www.tianocore.org/edk2/
EDK II is a modern, feature-rich, cross-platform firmware development environment for the UEFI and PI specifications.
https://github.com/kimchi-project/wok
Webserver of Kimchi - a cherrypy framework for multi-purpose plug-ins.