@@ -954,12 +954,17 @@ (define-public ovmf
(let ((fmw (string-append #$output "/share/firmware"))
(toolchain-ver #$toolchain-ver))
(mkdir-p fmw)
- (copy-file (string-append "Build/OvmfIa32/RELEASE_"
toolchain-ver "/FV/OVMF.fd")
- (string-append fmw "/ovmf_ia32.bin"))
- #$@(if (string=? "x86_64-linux" (%current-system))
- '((copy-file (string-append
"Build/OvmfX64/RELEASE_" toolchain-ver "/FV/OVMF.fd")
- (string-append fmw
"/ovmf_x64.bin")))
- '())))))))
+ (for-each
+ (lambda (file)
+ (copy-file (string-append
"Build/OvmfIa32/RELEASE_" toolchain-ver "/FV/" file ".fd")
+ (string-append fmw "/"
(string-downcase file) "_ia32.bin"))
+ #$@(if (string=? "x86_64-linux"
(%current-system))
+ '((copy-file (string-append
"Build/OvmfX64/RELEASE_" toolchain-ver "/FV/" file ".fd")
+ (string-append fmw "/"