summaryrefslogtreecommitdiff
path: root/gnu/packages/firmware.scm
AgeCommit message (Collapse)Author
2020-03-30Merge branch 'master' into core-updatesMarius Bakke
Conflicts: gnu/packages/admin.scm gnu/packages/commencement.scm gnu/packages/guile.scm gnu/packages/linux.scm gnu/packages/package-management.scm gnu/packages/pulseaudio.scm gnu/packages/web.scm
2020-03-30gnu: ath9k-htc-firmware: Correct home-page url.Brendan Tildesley
* gnu/packages/firmware.scm (ath9k-htc-firmware)[home-page]: Correct url. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2020-03-27gnu: ovmf: Adapt to CPLUS_INCLUDE_PATH changes.Marius Bakke
* gnu/packages/firmware.scm (ovmf)[native-inputs]: Distinguish GCC-5. [arguments]: Add phase to hide the default GCC from CPLUS_INCLUDE_PATH.
2020-03-04Merge branch 'master' into core-updatesMarius Bakke
2020-02-26gnu: opensbi-qemu-sifive-u: Mark as deprecated.Vagrant Cascadian
* gnu/packages/firmware (opensbi-qemu-sifive-u): Deprecated by opensbi-sifive-fu540.
2020-02-26gnu: opensbi: Update to 0.6.Vagrant Cascadian
* gnu/packages/firmware (make-opensbi-package): Update to 0.6.
2020-02-20gnu: ath9k-htc-firmware, b43-tools: Use git-file-name.Jakub Kądziołka
* gnu/packages/firmware.scm (ath9k-htc-firmware): Use git-file-name. (b43-tools): Likewise.
2020-02-15gnu: ath9k-htc-firmware: Build with binutils@2.33.1.Marius Bakke
* gnu/packages/base.scm (binutils-2.33): New public variable. * gnu/packages/cross-base.scm (cross-binutils): Add optional BINUTILS argument. * gnu/packages/firmware.scm (ath9k-htc-firmware)[native-inputs]: Build the xtensa-elf toolchain with BINUTILS-2.33.
2020-02-03Merge branch 'staging' into core-updatesMarius Bakke
2020-01-31gnu: Add opensbi-sifive-fu540.Vagrant Cascadian
* gnu/packages/firmware (opensbi-sifive-fu540): New variable.
2020-01-31gnu: Add opensbi-qemu-sifive-u.Vagrant Cascadian
* gnu/packages/firmware (make-opensbi-package): Normalize package name. (opensbi-qemu-sifive-u): New variable.
2020-01-31gnu: Add opensbi.Vagrant Cascadian
* gnu/packages/firmware (make-opensbi): New function. (opensbi-qemu-virt): New variable.
2020-01-15gnu: util-linux: Move libraries to separate output.Marius Bakke
Fixes <https://bugs.gnu.org/37732>. Reported by Diego Nicola Barbato <dnbarbato@posteo.de>. * gnu/packages/linux.scm (util-linux)[outputs]: Add "lib". [arguments]: Update #:configure-flags and the "move-static-libraries" phase accordingly. Add phases "patch-build-scripts" and "adjust-pkg-config-files". (e2fsprogs, psm, mtd-utils, f2fs-tools, f2fs-tools-1.7, eudev, xfsprogs)[inputs]: Change to the "lib" output of UTIL-LINUX. (btrfs-progs)[inputs]: Remove duplicate UTIL-LINUX inputs and change to use the "lib" output. * gnu/packages/admin.scm (pam-mount)[inputs]: Add UTIL-LINUX:LIB. (testdisk)[inputs]: Change to the "lib" output of UTIL-LINUX. * gnu/packages/android.scm (abootimg)[inputs]: Likewise. * gnu/packages/audio.scm (jack-1)[propagated-inputs]: Likewise. * gnu/packages/bootloaders.scm (syslinux, vboot-utils)[inputs]: Likewise. * gnu/packages/chez.scm (chez-scheme)[inputs]: Likewise. * gnu/packages/cryptsetup.scm (cryptsetup, cryptsetup-static)[inputs]: Likewise. * gnu/packages/databases.scm (postgresql, 4store)[inputs]: Likewise. * gnu/packages/disk.scm (ndctl, gptfdisk, fdisk, gparted, rmlint, volume-key)[inputs]: Likewise. (parted)[inputs]: Likewise. [native-inputs]: Add UTIL-LINUX. * gnu/packages/efi.scm (sbsigntools)[inputs]: Add UTIL-LINUX:LIB. * gnu/packages/engineering.scm (lib3mf)[inputs]: Change to the "lib" output of UTIL-LINUX. * gnu/packages/enlightenment.scm (efl)[propagated-inputs]: Likewise. * gnu/packages/file-systems.scm (glusterfs, jfsutils, zfs)[inputs]: Likewise. * gnu/packages/firmware.scm (ovmf)[inputs]: Likewise. * gnu/packages/fontutils.scm (fontconfig)[propagated-inputs]: Likewise. * gnu/packages/freedesktop.scm (localed)[inputs]: Likewise. * gnu/packages/glib.scm (glib, appstream-glib)[propagated-inputs]: Likewise. * gnu/packages/gnome.scm (tracker, gnome-terminal)[inputs]: Likewise. * gnu/packages/jupyter.scm (xeus)[inputs]: Likewise. * gnu/packages/kde.scm (kpmcore)[inputs]: Likewise. * gnu/packages/kodi.scm (crossguid)[inputs]: Likewise. * gnu/packages/lighting.scm (ola)[inputs]: Likewise. * gnu/packages/music.scm (libgig)[inputs]: Likewise. * gnu/packages/nfs.scm (nfs-utils)[inputs]: Likewise. * gnu/packages/opencog.scm (opencog)[inputs]: Likewise. * gnu/packages/package-management.scm (msitools)[inputs]: Change to the "lib" output of UTIL-LINUX. * gnu/packages/password-utils.scm (pwsafe)[inputs]: Likewise. * gnu/packages/telephony.scm (pjproject)[propagated-inputs]: Likewise. * gnu/packages/rdf.scm (rasqal)[inputs]: Likewise. * gnu/packages/search.scm (xapian)[inputs]: Likewise. * gnu/packages/sssd.scm (sssd)[native-inputs]: Likewise. * gnu/packages/storage.scm (ceph)[inputs]: Add UTIL-LINUX:LIB. * gnu/packages/task-management.scm (taskwarrior)[inputs]: Change to the "lib" output of UTIL-LINUX. * gnu/packages/virtualization.scm (libvirt, xen)[inputs]: Likewise. * gnu/packages/xorg.scm (libsm)[inputs]: Likewise.
2020-01-11Merge branch 'master' into core-updatesMarius Bakke
2020-01-08gnu: arm-trusted-firmware: Update to 2.2.Vagrant Cascadian
* gnu/packages/firmware (make-arm-trusted-firmware): Update to 2.2. [source]: Update URL. [homepage]: Update URL. * gnu/packages/patches/arm-trusted-firmware-optional-bin-generation.patch: Remove patch. * gnu/packages/patches/arm-trusted-firmware-rockchip-disable-binary.patch: Remove patch. * gnu/local.mk (dist_patch_DATA): Update accordingly.
2019-12-12Merge remote-tracking branch 'origin/master' into core-updatesEfraim Flashner
2019-12-11gnu: seabios: Update to 1.13.0.Marius Bakke
* gnu/packages/firmware.scm (seabios): Update to 1.13.0. [native-inputs]: Change from PYTHON-2 to PYTHON-WRAPPER.
2019-11-16Merge remote-tracking branch master into core-updatesMathieu Othacehe
2019-10-18gnu: Add arm-trusted-firmware-rk3328.Vagrant Cascadian
* gnu/packages/firmware (arm-trusted-firmware-rk3328): New variable. Signed-off-by: Vagrant Cascadian <vagrant@debian.org>
2019-10-18gnu: Add arm-trusted-firmware-rk3399.Caliph Nomble
* gnu/packages/bootloaders.scm (arm-trusted-firmware-rk3399): New exported variable. * gnu/packages/firmware (make-arm-trusted-firmware): Also install .elf files. Adjusted-by: Vagrant Cascadian <vagrant@debian.org> Signed-off-by: Caliph Nomble <nomble@palism.com> Signed-off-by: Vagrant Cascadian <vagrant@debian.org>
2019-10-18gnu: arm-trusted-firmware: Disable HDCP support which depends on non-freeVagrant Cascadian
binary blobs. * gnu/packages/firmware (make-arm-trusted-firmware)[source]: Add patch. [arguments] Add phase to remove binary blobs. * gnu/packages/patches/arm-trusted-firmware-disable-hdcp.patch: New patch. * gnu/local.mk (dist_patch_DATA): Add patch. Signed-off-by: Vagrant Cascadian <vagrant@debian.org>
2019-10-18gnu: arm-trusted-firmware: Add backported patches to disable .bin generationVagrant Cascadian
for rockchip platforms. * gnu/packages/patches/arm-trusted-firmware-optional-bin-generation.patch: New patch. * gnu/packages/patches/arm-trusted-firmware-rockchip-disable-binary.patch: New patch. * gnu/packages/firmware (make-arm-trusted-firmware): Add patches. * gnu/local.mk (dist_patch_DATA): Add patches. Signed-off-by: Vagrant Cascadian <vagrant@debian.org>
2019-09-24gnu: ath9k-htc-firmware: Fix cross compilation.Mathieu Othacehe
* gnu/packages/firmware.scm (ath9k-htc-firmware)[phases]: Search for "cross-gcc" in native-inputs and inputs in "configure" phase.
2019-07-19gnu: ovmf: Build with GCC 5.Rutger Helling
* gnu/packages/firmware.scm (ovmf)[native-inputs]: Add GCC-5.
2019-06-20gnu: Replace uses of 'cmake' with 'cmake-minimal'.Marius Bakke
This follows up commit 2f33a7321e5e37d37f57c229c8079cb4ffd10834 which introduced a new CMAKE-MINIMAL variant for use in package inputs. * gnu/packages/databases.scm (python-pyarrow)[native-inputs]: Replace CMAKE with CMAKE-MINIMAL. * gnu/packages/emacs-xyz.scm (emacs-scel)[native-inputs]: Likewise. * gnu/packages/firmware.scm (ath9k-htc-firmware)[native-inputs]: Likewise. * gnu/packages/games.scm (0ad, the-butterfly-effect)[native-inputs]: Likewise. * gnu/packages/gnome.scm (deja-dup)[native-inputs]: Likewise. * gnu/packages/ibus.scm (ibus-rime)[native-inputs]: Likewise. * gnu/packages/rust.scm (rust-1.19)[native-inputs]: Likewise. * gnu/packages/simulation.scm (fenics)[native-inputs]: Likewise. * gnu/packages/squirrel.scm (squirrel)[native-inputs]: Likewise. * gnu/packages/video.scm (handbrake)[native-inputs]: Likewise. * gnu/packages/virtualization.scm (xen)[native-inputs]: Likewise. * gnu/packages/vulkan.scm (shaderc)[native-inputs]: Likewise.
2019-05-09gnu: seabios: Update to 1.12.1.Tobias Geerinckx-Rice
This is a stable release despite the missing tarball. <https://mail.coreboot.org/hyperkitty/list/seabios@seabios.org/thread/ONGRJVF3A45SAXOKBED52V2UD3YUWTRT/> * gnu/packages/firmware.scm (seabios): Update to 1.12.1. [source]: Use GIT-FETCH and GIT-FILE-NAME.
2019-04-11gnu: arm-trusted-firmware: Update to 2.1.Vagrant Cascadian
* gnu/packages/firmware (arm-trusted-firmware): Update to 2.1. (arm-trusted-firmware-sun50i-a64)[source]: Inherit from arm-trusted-firmware. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-01-13gnu: seabios: Update to 1.12.0.Marius Bakke
* gnu/packages/firmware.scm (seabios): Update to 1.12.0.
2018-12-16gnu: arm-trusted-firmware-sun50i-a64: Update to 2.0-2.98aab97.Vagrant Cascadian
* gnu/packages/firmware (arm-trusted-firmware-sun50i-a64): Update to 2.0-2.98aab97. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2018-11-20gnu: arm-trusted-firmware-pine64-plus: Rename variable to ↵Vagrant Cascadian
arm-trusted-firmware-sun50i-a64. * gnu/packages/firmware (arm-trusted-firmware-pine64-plus): Rename to... (arm-trusted-firmware-sun50i-a64): ...this. * gnu/packages/bootloaders (u-boot-pine64-plus)[native-inputs]: Use it. Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2018-11-20gnu: arm-trusted-firmware-pine64-plus: Update to 2.0-1.cabe0a3.Vagrant Cascadian
* gnu/packages/firmware.scm (arm-trusted-firmware-pine64-plus): Use platform name from upstream ("sun50i_a64"). [version]: Update to 2.0-1.cabe0a3, [source](uri): Use upstream git repository. Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2018-08-28gnu: seabios: Update source URI.Marius Bakke
* gnu/packages/firmware.scm (seabios)[source](uri): Download from seabios.org.
2018-06-11gnu: Add ovmf-arm.Efraim Flashner
* gnu/packages/firmware.scm (ovmf-arm): New variable.
2018-06-11gnu: Add ovmf-aarch64.Efraim Flashner
* gnu/packages/firmware.scm (ovmf-aarch64): New variable.
2018-06-07gnu: seabios: Return #t from all phases.Tobias Geerinckx-Rice
* gnu/packages/firmware.scm (seabios)[arguments]: Return #t from the ‘install’ phase.
2018-06-07gnu: ovmf: Simplify build.Efraim Flashner
* gnu/packages/firmware.scm (ovmf)[arguments]: Change custom 'build-ia32 phase to replace 'build. Remove unneeded substitutions in 'configure, 'build and 'build-x64. Shorten 'build and 'build-x64 phases.
2018-05-29system: Add u-boot-puma-rk3399.Vagrant Cascadian
* gnu/packages/bootloaders.scm (u-boot-puma-rk3399): New variable. (make-u-boot-package)[arguments]: Add '.rksd' files to the files installed during custom 'install phase. * gnu/bootloader/u-boot.scm (u-boot-puma-rk3399-bootloader): New exported variable. * gnu/system/install.scm (rk3399-puma-installation-os): New exported variable. * gnu/packages/firmware.scm (arm-trusted-firmware-puma-rk3399): New variable. (rk3399-cortex-m0): New variable. Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2018-03-24gnu: arm-trusted-firmware-pine64-plus: New variable.Efraim Flashner
* gnu/packages/firmware.scm (arm-trusted-firmware-pine64-plus): New variable.
2018-03-24gnu: make-arm-trusted-firmware: New procedure.Efraim Flashner
* gnu/packages/firmware.scm (make-arm-trusted-firmware): New procedure.
2018-03-06gnu: ovmf: Fix build and add FIXME.Rutger Helling
* gnu/packages/firmware.scm (ovmf): Replace 'invoke' with 'system*'. Add FIXME about failing script.
2018-03-02gnu: ath9k-htc-firmware: Use INSTALL-FILE.Tobias Geerinckx-Rice
* gnu/packages/firmware.scm (ath9k-htc-firmware)[arguments]: Substitute INSTALL-FILE for COPY-FILE with MKDIR-P.
2018-03-02gnu: ovmf: Update phase style.Tobias Geerinckx-Rice
* gnu/packages/firmware.scm (ovmf): Substitute INVOKE for SYSTEM* and end phases with #t.
2018-03-02gnu: ovmf: Use HTTPS home page.Tobias Geerinckx-Rice
* gnu/packages/firmware.scm (ovmf)[home-page]: Use HTTPS.
2018-03-02gnu: b43-tools: Use HTTPS home page.Tobias Geerinckx-Rice
* gnu/packages/firmware.scm (b43-tools)[home-page]: Use HTTPS.
2018-03-02gnu: b43-tools: Update phase style.Tobias Geerinckx-Rice
* gnu/packages/firmware.scm (b43-tools)[arguments]: Substitute INVOKE for SYSTEM* and FOR-EACH for EVERY, and end phases with #t.
2018-03-02gnu: b43-tools: Update to 0.0.0-1.27892ef.Tobias Geerinckx-Rice
* gnu/packages/firmware.scm (b43-tools): Update to 0.0.0-1.27892ef. [version]: Use our standard versioning scheme.
2017-12-27gnu: seabios: Update to 1.11.0.Marius Bakke
* gnu/packages/firmware.scm (seabios): Update to 1.11.0.
2017-11-08gnu: Remove "open source" from descriptions.Ricardo Wurmus
All software in Guix is Free Software. * gnu/packages/aidc.scm (libdmtx)[description]: Remove "open source" string. * gnu/packages/firmware.scm (seabios)[description]: Likewise. * gnu/packages/libupnp.scm (libupnp)[description]: Likewise. * gnu/packages/maths.scm (cubicle)[description]: Likewise. * gnu/packages/mingw.scm (mingw-w64)[description]: Likewise. * gnu/packages/game-development.scm (openmw)[description]: Likewise. [synopsis]: Remove "Free software".
2017-09-20gnu: Use 'modify-phases' syntax.Kei Kebreau
* gnu/packages/admin.scm (mingetty, clusterssh, wpa-supplicant-minimal, wpa-supplicant, wakelan, acpica, tree, direvent, dstat)[arguments]: Use 'modify-phases' syntax. * gnu/packages/algebra.scm (arb)[arguments]: Likewise. * gnu/packages/apr.scm (apr-util)[arguments]: Likewise. * gnu/packages/audio.scm (clalsadrv, fluidsynth, faad2, lv2-mda-piano, lv2-mda-epiano, timidity++, vamp, soundtouch, portaudio, rsound, zita-convolver, zita-alsa-pcmi)[arguments]: Likewise. * gnu/packages/backup.scm (rdup, btar)[arguments]: Likewise. * gnu/packages/bioinformatics.scm (bedops, bwa, crossmap, express, flexbar, grit, hisat, ngs-sdk, subread)[arguments]: Likewise. * gnu/packages/bittorrent.scm (transmission)[arguments]: Likewise. * gnu/packages/cdrom.scm (cd-discid)[arguments]: Likewise. * gnu/packages/compression.scm (sharutils)[arguments]: Likewise. * gnu/packages/conky.scm (conky)[arguments]: Likewise. * gnu/packages/databases.scm (bdb, bdb-5.3)[arguments]: Likewise. * gnu/packages/debug.scm (delta, c-reduce)[arguments]: Likewise. * gnu/packages/display-managers.scm (slim)[arguments]: Likewise. * gnu/packages/dns.scm (dnsmasq)[arguments]: Likewise. * gnu/packages/emacs.scm (geiser, emacs-wget, bbdb)[arguments]: Likewise. * gnu/packages/engineering.scm (pcb)[arguments]: Likewise. * gnu/packages/firmware.scm (ath9k-htc-firmware)[arguments]: Likewise. * gnu/packages/flashing-tools.scm (flashrom)[arguments]: Likewise. * gnu/packages/fltk.scm (fltk)[arguments]: Likewise. * gnu/packages/freedesktop.scm (python-pyxdg)[arguments]: Likewise. * gnu/packages/gd.scm (perl-gd)[arguments]: Likewise. * gnu/packages/gkrellm.scm (gkrellm)[arguments]: Likewise. * gnu/packages/glib.scm (glibmm)[arguments]: Likewise. * gnu/packages/gl.scm (glew)[arguments]: Likewise. * gnu/packages/gnome.scm (icon-naming-utils, orbit2, libbonobo, gnome-vfs, libgnome, libbonoboui, goffice-0.8, dconf)[arguments]: Likewise. * gnu/packages/gprolog.scm (gprolog)[arguments]: Likewise. * gnu/packages/gps.scm (gpscorrelate)[arguments]: Likewise. * gnu/packages/graphics.scm (agg)[arguments]: Likewise. * gnu/packages/gtk.scm (ganv, girara, gtksourceview-2, guile-present, python2-pycairo)[arguments]: Likewise. * gnu/packages/guile.scm (guile-1.8)[arguments]: Likewise. * gnu/packages/guile-wm.scm (guile-wm)[arguments]: Likewise. * gnu/packages/hugs.scm (hugs)[arguments]: Likewise. * gnu/packages/hurd.scm (gnumach-headers, hurd-headers, hurd-minimal) [arguments]: Likewise. * gnu/packages/image-viewers.scm (feh, sxiv)[arguments]: Likewise. * gnu/packages/libcanberra.scm (libcanberra)[arguments]: Likewise. * gnu/packages/linux.scm (bridge-utils, iw, fuse, unionfs-fuse/static, lm-sensors, i2c-tools, xsensors, perf, mdadm, libaio, module-init-tools) [arguments]: Likewise. * gnu/packages/lisp.scm (ccl)[arguments]: Likewise. * gnu/packages/lout.scm (lout)[arguments]: Likewise. * gnu/packages/lua.scm (luajit)[arguments]: Likewise. * gnu/packages/machine-learning.scm (shogun)[arguments]: Likewise. * gnu/packages/mail.scm (exim)[arguments]: Likewise. * gnu/packages/man.scm (man-pages, txt2man)[arguments]: Likewise. * gnu/packages/maths.scm (lapack, superlu-dist, openlibm, openspecfun) [arguments]: Likewise. * gnu/packages/messaging.scm (bitlbee)[arguments]: Likewise. * gnu/packages/mp3.scm (libmad, id3lib, mp3info)[arguments]: Likewise. * gnu/packages/music.scm (solfege)[arguments]: Likewise. * gnu/packages/noweb.scm (noweb)[arguments]: Likewise. * gnu/packages/patchutils.scm (patchutils, quilt, colordiff)[arguments]: Likewise. * gnu/packages/pdf.scm (xpdf, zathura-cb, zathura-ps, zathura-djvu, zathura-pdf-poppler, zathura, podofo, fbida)[arguments]: Likewise. * gnu/packages/perl.scm (perl-file-list, perl-test-harness)[arguments]: Likewise. * gnu/packages/photo.scm (gphoto2)[arguments]: Likewise. * gnu/packages/popt.scm (popt)[arguments]: Likewise. * gnu/packages/pretty-print.scm (source-highlight, astyle)[arguments]: Likewise. * gnu/packages/pumpio.scm (pumpa)[arguments]: Likewise. * gnu/packages/python.scm (python-passlib, python-pycrypto, python2-empy, python-sqlalchemy, python-docopt)[arguments]: Likewise. * gnu/packages/rdf.scm (lrdf)[arguments]: Likewise. * gnu/packages/regex.scm (tre)[arguments]: Likewise. * gnu/packages/rrdtool.scm (rrdtool)[arguments]: Likewise. * gnu/packages/ruby.scm (ruby-2.1, ruby-1.8)[arguments]: Likewise. * gnu/packages/sawfish.scm (sawfish)[arguments]: Likewise. * gnu/packages/scheme.scm (racket)[arguments]: Likewise. * gnu/packages/sdl.scm (guile-sdl)[arguments]: Likewise. * gnu/packages/serveez.scm (serveez)[arguments]: Likewise. * gnu/packages/skribilo.scm (skribilo)[arguments]: Likewise. * gnu/packages/smalltalk.scm (smalltalk)[arguments]: Likewise. * gnu/packages/suckless.scm (dmenu, slock)[arguments]: Likewise. * gnu/packages/tcl.scm (expect)[arguments]: Likewise. * gnu/packages/telephony.scm (commoncpp)[arguments]: Likewise. * gnu/packages/textutils.scm (recode, libgtextutils)[arguments]: Likewise. * gnu/packages/time.scm (time)[arguments]: Likewise. * gnu/packages/tor.scm (privoxy)[arguments]: Likewise. * gnu/packages/uucp.scm (uucp)[arguments]: Likewise. * gnu/packages/video.scm (libdvdnav-4)[arguments]: Likewise. * gnu/packages/web-browsers.scm (lynx)[arguments]: Likewise. * gnu/packages/web.scm (tinyproxy)[arguments]: Likewise. * gnu/packages/wicd.scm (wicd)[arguments]: Likewise. * gnu/packages/wm.scm (bspwm)[arguments]: Likewise. * gnu/packages/xdisorg.scm (sxhkd, xcape)[arguments]: Likewise. * gnu/packages/xfce.scm (xfconf)[arguments]: Likewise. * gnu/packages/xfig.scm (transfig)[arguments]: Likewise. * gnu/packages/xorg.scm (imake)[arguments]: Likewise.
2017-07-02gnu: ovmf: Fix build on x86_64.Efraim Flashner
This is a follow-up to 2eb95ade8f08bfd418b1470f1093c5b4bf2332ee. * gnu/packages/firmware.scm (ovmf)[arguments]: Fix the syntax used when following the x86_64 fork of the arguments.