diff options
| -rw-r--r-- | gnu/packages/firmware.scm | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/gnu/packages/firmware.scm b/gnu/packages/firmware.scm index ea3654f01d..bd7b8f9026 100644 --- a/gnu/packages/firmware.scm +++ b/gnu/packages/firmware.scm @@ -1016,6 +1016,28 @@ Virtual Machines. OVMF contains a sample UEFI firmware for QEMU and KVM.") "OVMF_CODE" "OVMF_VARS")))))))))))) +(define-public ovmf-i686 + (let ((base (make-ovmf-firmware "i686"))) + (package + (inherit base) + (arguments + (substitute-keyword-arguments (package-arguments base) + ((#:phases phases) + #~(modify-phases #$phases + (replace 'install + (lambda _ + (let ((fmw (string-append #$output "/share/firmware"))) + (mkdir-p fmw) + (for-each + (lambda (file) + (copy-file + (string-append "Build/OvmfIa32/RELEASE_GCC" + "/FV/" file ".fd") + (string-append fmw "/" (string-downcase file) "_ia32.bin"))) + (list "OVMF" + "OVMF_CODE" + "OVMF_VARS")))))))))))) + (define-public ovmf (let ((toolchain-ver "GCC5")) (package |