me
/
guix
Archived
1
0
Fork 0

gnu: Add opensbi-qemu.

* gnu/packages/firmware.scm (opensbi-qemu): New variable.
master
Marius Bakke 2022-12-25 13:41:13 +01:00
parent 699aef4bc6
commit c8e836991d
No known key found for this signature in database
GPG Key ID: A2A06DF2A33A54FA
1 changed files with 24 additions and 0 deletions

View File

@ -34,6 +34,7 @@
#:use-module (guix git-download)
#:use-module (guix build-system gnu)
#:use-module (guix build-system meson)
#:use-module (guix build-system trivial)
#:use-module (gnu packages)
#:use-module (gnu packages admin)
#:use-module (gnu packages autotools)
@ -476,6 +477,29 @@ executing in M-mode.")
(define-public opensbi-generic
(make-opensbi-package "generic" "opensbi-generic"))
(define-public opensbi-qemu
(package
(inherit opensbi-generic)
(name "opensbi-qemu")
(native-inputs '())
(inputs (list opensbi-generic))
(build-system trivial-build-system)
(arguments
(list #:modules '((guix build utils))
#:builder
#~(begin
(use-modules ((guix build utils)))
(let ((opensbi-riscv64 (search-input-file %build-inputs
"fw_dynamic.bin"))
(out (string-append #$output "/share/qemu")))
(mkdir-p out)
(symlink opensbi-riscv64
(string-append
out "/opensbi-riscv64-generic-fw_dynamic.bin"))))))
(synopsis "OpenSBI firmware files for QEMU")
(description
"This package contains OpenSBI firmware files for use with QEMU.")))
(define-public seabios
(package
(name "seabios")