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/