debian/patches/disable-efi-enable-pxe-roms.patch

   1 Index: new/hw/net/e1000.c
   2 ===================================================================
   3 --- new.orig/hw/net/e1000.c     2014-07-16 11:53:55.000000000 +0200
   4 +++ new/hw/net/e1000.c  2014-07-16 12:01:38.000000000 +0200
   5 @@ -1590,7 +1590,7 @@
   6
   7      k->init = pci_e1000_init;
   8      k->exit = pci_e1000_uninit;
   9 -    k->romfile = "efi-e1000.rom";
  10 +    k->romfile = "pxe-e1000.rom";
  11      k->vendor_id = PCI_VENDOR_ID_INTEL;
  12      k->device_id = info->device_id;
  13      k->revision = info->revision;
  14 Index: new/hw/net/ne2000.c
  15 ===================================================================
  16 --- new.orig/hw/net/ne2000.c    2014-07-16 11:53:55.000000000 +0200
  17 +++ new/hw/net/ne2000.c 2014-07-16 12:01:38.000000000 +0200
  18 @@ -765,7 +765,7 @@
  19
  20      k->init = pci_ne2000_init;
  21      k->exit = pci_ne2000_exit;
  22 -    k->romfile = "efi-ne2k_pci.rom",
  23 +    k->romfile = "pxe-ne2k_pci.rom",
  24      k->vendor_id = PCI_VENDOR_ID_REALTEK;
  25      k->device_id = PCI_DEVICE_ID_REALTEK_8029;
  26      k->class_id = PCI_CLASS_NETWORK_ETHERNET;
  27 Index: new/hw/net/pcnet-pci.c
  28 ===================================================================
  29 --- new.orig/hw/net/pcnet-pci.c 2014-07-16 11:53:55.000000000 +0200
  30 +++ new/hw/net/pcnet-pci.c      2014-07-16 12:01:38.000000000 +0200
  31 @@ -358,7 +358,7 @@
  32
  33      k->init = pci_pcnet_init;
  34      k->exit = pci_pcnet_uninit;
  35 -    k->romfile = "efi-pcnet.rom",
  36 +    k->romfile = "pxe-pcnet.rom",
  37      k->vendor_id = PCI_VENDOR_ID_AMD;
  38      k->device_id = PCI_DEVICE_ID_AMD_LANCE;
  39      k->revision = 0x10;
  40 Index: new/hw/net/rtl8139.c
  41 ===================================================================
  42 --- new.orig/hw/net/rtl8139.c   2014-07-16 11:53:55.000000000 +0200
  43 +++ new/hw/net/rtl8139.c        2014-07-16 12:01:38.000000000 +0200
  44 @@ -3557,7 +3557,7 @@
  45
  46      k->init = pci_rtl8139_init;
  47      k->exit = pci_rtl8139_uninit;
  48 -    k->romfile = "efi-rtl8139.rom";
  49 +    k->romfile = "pxe-rtl8139.rom";
  50      k->vendor_id = PCI_VENDOR_ID_REALTEK;
  51      k->device_id = PCI_DEVICE_ID_REALTEK_8139;
  52      k->revision = RTL8139_PCI_REVID; /* >=0x20 is for 8139C+ */
  53 Index: new/hw/virtio/virtio-pci.c
  54 ===================================================================
  55 --- new.orig/hw/virtio/virtio-pci.c     2014-07-16 11:53:55.000000000 +0200
  56 +++ new/hw/virtio/virtio-pci.c  2014-07-16 12:01:38.000000000 +0200
  57 @@ -1444,7 +1444,7 @@
  58      PCIDeviceClass *k = PCI_DEVICE_CLASS(klass);
  59      VirtioPCIClass *vpciklass = VIRTIO_PCI_CLASS(klass);
  60
  61 -    k->romfile = "efi-virtio.rom";
  62 +    k->romfile = "pxe-virtio.rom";
  63      k->vendor_id = PCI_VENDOR_ID_REDHAT_QUMRANET;
  64      k->device_id = PCI_DEVICE_ID_VIRTIO_NET;
  65      k->revision = VIRTIO_PCI_ABI_VERSION;