* add seabios (fake)

seabios/PKGBUILD

@@ -0,0 +1,86 @@
+# POWER Maintainer: Alexander Baldeck <alex.bldck@gmail.com>
+# Maintainer: Tobias Powalowski <tpowa@archlinux.org>
+
+# ATTENTION:
+#  currently cannot be built on ppc64le, thus we pull the any package from archlinux
+#  and add it to the repo manually
+#     https://www.archlinux.org/packages/extra/any/seabios/
+
+pkgname=seabios
+pkgver=1.12.0
+pkgrel=1
+pkgdesc="A 16-bit x86 bios"
+arch=('any')
+url="http://www.coreboot.org/SeaBIOS"
+license=('GPL3' 'LGPL3')
+makedepends=('iasl' 'python2' 'inetutils' 'x86_64-linux-gnu-gcc')
+options=('!makeflags' '!strip')
+source=(https://www.seabios.org/downloads/seabios-$pkgver.tar.gz
+        config.coreboot
+        config.seabios-128k
+        config.seabios-256k
+        config.vga.isavga
+        config.vga.stdvga
+        config.csm
+        config.vga.cirrus
+        config.vga.qxl
+        config.vga.vmware
+        config.vga.bochs-display
+        config.vga.ramfb
+        config.vga.virtio)
+sha1sums=('3f8ee5c7cb449483e0e5bde50889bc7e54c4b0d1'
+          '5f2adb09c9006def1719b8cbd4792f14a7c7f7c9'
+          '7a4ec70237476c7cdd78589b069d0d39dfeaa8eb'
+          '05b912a291994226049103cbe6754976cc03532d'
+          'd56482f6ee0bf9633c551b10e99e24c74d9ece1e'
+          '54d4edf6eccf30883aedca348b9d2f125502fcdb'
+          '590739c1d5dc6cb63bdf311ee1cfbcde6c0ccc0f'
+          '84a44c04e74a09affae0d1a6e50800d10997108f'
+          '5a1316a0081f91acc300f57372de18fa9c67415e'
+          '5b017b16aec445df873618aaebd154aa97107148'
+          'c7c730ade7a63e1efc7de81c7536632e0617e808'
+          'c2f4a7708befd6a0763dd4a5a4f8b5168db30340'
+          'a2b3d09f944e3d6857ceee272b733075a7edc52e')
+
+# build routine from fedora
+build_bios() {
+  unset CFLAGS
+  unset CXXFLAGS
+
+  make clean distclean
+  cp $1 .config
+  echo 'CROSS_PREFIX="x86_64-linux-gnu-"' >> .config
+
+  make oldnoconfig V=1
+
+  make V=1 $4
+
+  cp out/$2 binaries/$3
+}
+
+prepare() {
+  cd ${pkgname}-${pkgver}
+  rm -rf binaries
+  sed -i 's/python/python2/g' Makefile
+  mkdir binaries
+}
+
+build() {
+  cd ${pkgname}-${pkgver}
+  # seabios
+  build_bios ${srcdir}/config.csm Csm16.bin bios-csm.bin
+  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
+  # seavgabios
+  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
+}
+
+package() {
+  cd ${pkgname}-${pkgver}
+  install -Dm644 -t "${pkgdir}/usr/share/qemu" binaries/*.bin
+}
+

seabios/config.coreboot

@@ -0,0 +1,2 @@
+CONFIG_QEMU_HARDWARE=y
+CONFIG_COREBOOT=y

seabios/config.csm

@@ -0,0 +1,2 @@
+CONFIG_QEMU_HARDWARE=y
+CONFIG_CSM=y

seabios/config.seabios-128k

@@ -0,0 +1,14 @@
+# for qemu machine types 1.7 + older
+# 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.seabios-256k

@@ -0,0 +1,3 @@
+# for qemu machine types 2.0 + newer
+CONFIG_QEMU=y
+CONFIG_ROM_SIZE=256

seabios/config.vga.bochs-display

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

seabios/config.vga.cirrus

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

seabios/config.vga.isavga

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

seabios/config.vga.qxl

@@ -0,0 +1,6 @@
+CONFIG_BUILD_VGABIOS=y
+CONFIG_VGA_BOCHS=y
+CONFIG_VGA_PCI=y
+CONFIG_OVERRIDE_PCI_ID=y
+CONFIG_VGA_VID=0x1b36
+CONFIG_VGA_DID=0x0100

seabios/config.vga.ramfb

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

seabios/config.vga.stdvga

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

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

seabios/config.vga.vmware

@@ -0,0 +1,6 @@
+CONFIG_BUILD_VGABIOS=y
+CONFIG_VGA_BOCHS=y
+CONFIG_VGA_PCI=y
+CONFIG_OVERRIDE_PCI_ID=y
+CONFIG_VGA_VID=0x15ad
+CONFIG_VGA_DID=0x0405