Initial build * Upgrade edk2 to stable201908 * Fix `debian/rules` with edk2's new location of shell application * Add OVMF patch to enable IGD passthrough with output to external displays * Add OVMF patch to support booting macOS virtual machines
Initial build * Upgrade edk2 to stable201908 * Fix `debian/rules` with edk2's new location of shell application * Add OVMF patch to enable IGD passthrough with output to external displays * Add OVMF patch to support booting macOS virtual machines