TinyVisor用ゲストUEFI-BIOSのソースツリーです。
EDK2のソースツリーの一部をexportして作成しました。
https://svn.code.sf.net/p/edk2/code/trunk/edk2
TinyVisorの中心コンポーネントであるVMMのソースツリーです。
BitVisorのソースツリーをcloneして作成しました。
https://bitbucket.org/bitvisor/bitvisor
TinyVisor用ゲストBIOSのソースツリーです。
SeaBIOSのリリース版ソースアーカイブを元に作成しました。
http://code.coreboot.org/p/seabios/downloads/