[skip-ci] seabios: update to 1.12.0

seabios/PKGBUILD

@@ -1,7 +1,8 @@
-# Contributor: Tobias Powalowski <tpowa@archlinux.org>
+# Contributions from Arch:
+# Maintainer: Tobias Powalowski <tpowa@archlinux.org>
 
 pkgname=seabios
-pkgver=1.9.0
+pkgver=1.12.0
 pkgrel=1
 pkgdesc="A 16-bit x86 bios"
 arch=('any')
@@ -9,7 +10,7 @@ url="http://www.coreboot.org/SeaBIOS"
 license=('GPL3' 'LGPL3')
 makedepends=('iasl' 'python2' 'inetutils')
 options=('!makeflags' '!strip')
-source=(http://code.coreboot.org/p/seabios/downloads/get/${pkgname}-${pkgver}.tar.gz
+source=(https://www.seabios.org/downloads/seabios-$pkgver.tar.gz
         config.coreboot
         config.seabios-128k
         config.seabios-256k
@@ -18,27 +19,33 @@ source=(http://code.coreboot.org/p/seabios/downloads/get/${pkgname}-${pkgver}.ta
         config.csm
         config.vga.cirrus
         config.vga.qxl
-        config.vga.vmware)
-sha1sums=('810c8f2ab6e61133e3ebe03f783bfb2b9d7e8606'
+        config.vga.vmware
+        config.vga.bochs-display
+        config.vga.ramfb
+        config.vga.virtio)
+sha1sums=('3f8ee5c7cb449483e0e5bde50889bc7e54c4b0d1'
           '5f2adb09c9006def1719b8cbd4792f14a7c7f7c9'
-          '39c2f98d3662933d3ce3360bc89421ec9c42612f'
+          '7a4ec70237476c7cdd78589b069d0d39dfeaa8eb'
           '05b912a291994226049103cbe6754976cc03532d'
           'd56482f6ee0bf9633c551b10e99e24c74d9ece1e'
           '54d4edf6eccf30883aedca348b9d2f125502fcdb'
           '590739c1d5dc6cb63bdf311ee1cfbcde6c0ccc0f'
           '84a44c04e74a09affae0d1a6e50800d10997108f'
           '5a1316a0081f91acc300f57372de18fa9c67415e'
-          '5b017b16aec445df873618aaebd154aa97107148')
+          '5b017b16aec445df873618aaebd154aa97107148'
+          'c7c730ade7a63e1efc7de81c7536632e0617e808'
+          'c2f4a7708befd6a0763dd4a5a4f8b5168db30340'
+          'a2b3d09f944e3d6857ceee272b733075a7edc52e')
 
 # build routine from fedora
 build_bios() {
-    make clean distclean
-    cp $1 .config
-    make oldnoconfig V=1
+  make clean distclean
+  cp $1 .config
+  make oldnoconfig V=1
 
-    make V=1 $4
+  make V=1 $4
 
-    cp out/$2 binaries/$3
+  cp out/$2 binaries/$3
 }
 
 prepare() {
@@ -55,9 +62,8 @@ build() {
   build_bios ${srcdir}/config.coreboot bios.bin.elf bios-coreboot.bin
   build_bios ${srcdir}/config.seabios-128k bios.bin bios.bin
   build_bios ${srcdir}/config.seabios-256k bios.bin bios-256k.bin
-  cp out/src/fw/*dsdt*.aml binaries
   # seavgabios
-  for config in ${srcdir}/{config.vga.isavga,config.vga.stdvga,config.vga.cirrus,config.vga.qxl,config.vga.vmware}; do
+  for config in ${srcdir}/{config.vga.isavga,config.vga.stdvga,config.vga.cirrus,config.vga.qxl,config.vga.vmware,config.vga.ramfb,config.vga.virtio,config.vga.bochs-display}; do
     name=${config#*config.vga.}
     build_bios ${config} vgabios.bin vgabios-${name}.bin out/vgabios.bin
   done
@@ -65,11 +71,6 @@ build() {
 
 package() {
   cd ${pkgname}-${pkgver}
-  install -Dm644 binaries/bios.bin "${pkgdir}/usr/share/qemu/bios.bin"
-  install -Dm644 binaries/bios-256k.bin "${pkgdir}/usr/share/qemu/bios-256k.bin"
-  install -Dm644 binaries/bios-csm.bin "${pkgdir}/usr/share/qemu/bios-csm.bin"
-  install -Dm644 binaries/bios-coreboot.bin "${pkgdir}/usr/share/qemu/bios-coreboot.bin"
-  install -Dm644 binaries/*.aml "${pkgdir}/usr/share/qemu"
-  install -Dm644 binaries/vgabios*.bin "${pkgdir}/usr/share/qemu"
+  install -Dm644 -t "${pkgdir}/usr/share/qemu" binaries/*.bin
 }
 

seabios/config.seabios-128k

@@ -1,9 +1,14 @@
 # for qemu machine types 1.7 + older
-# need to turn off features (xhci,debug) to make it fit into 128k
+# need to turn off features (bootsplash) to make it fit into 128k
 CONFIG_QEMU=y
 CONFIG_ROM_SIZE=128
+CONFIG_BOOTSPLASH=n
 CONFIG_XEN=n
+CONFIG_USB_OHCI=n
 CONFIG_USB_XHCI=n
 CONFIG_USB_UAS=n
+CONFIG_SDCARD=n
+CONFIG_TCGBIOS=n
+CONFIG_MPT_SCSI=n
 CONFIG_DEBUG_LEVEL=0
 CONFIG_DEBUG_IO=n

seabios/config.vga.bochs-display

@@ -0,0 +1,3 @@
+CONFIG_BUILD_VGABIOS=y
+CONFIG_DISPLAY_BOCHS=y
+CONFIG_VGA_PCI=y

seabios/config.vga.ramfb

@@ -0,0 +1,3 @@
+CONFIG_BUILD_VGABIOS=y
+CONFIG_VGA_RAMFB=y
+CONFIG_VGA_PCI=n

seabios/config.vga.virtio

@@ -0,0 +1,6 @@
+CONFIG_BUILD_VGABIOS=y
+CONFIG_VGA_BOCHS=y
+CONFIG_VGA_PCI=y
+CONFIG_OVERRIDE_PCI_ID=y
+CONFIG_VGA_VID=0x1af4
+CONFIG_VGA_DID=0x1050