TianoCore EDK II UEFI firmware for virtual machines
