diff options
| author | Vagrant Cascadian <vagrant@debian.org> | 2020-02-01 03:29:32 +0000 |
|---|---|---|
| committer | Vagrant Cascadian <vagrant@debian.org> | 2020-01-31 20:22:23 -0800 |
| commit | cd63c2beb0a0693ed8bf86362738bb724d8f95b7 (patch) | |
| tree | ff0f8b8a118525d29ce182b211fa2aad5df4019c /gnu/packages | |
| parent | 454403f19ac00d0132bdc28093ce4bbbda5d07f9 (diff) | |
| download | patches-cd63c2beb0a0693ed8bf86362738bb724d8f95b7.tar patches-cd63c2beb0a0693ed8bf86362738bb724d8f95b7.tar.gz | |
gnu: Add opensbi-qemu-sifive-u.
* gnu/packages/firmware (make-opensbi-package): Normalize package name.
(opensbi-qemu-sifive-u): New variable.
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/firmware.scm | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/gnu/packages/firmware.scm b/gnu/packages/firmware.scm index a56c8f096b..affed3b823 100644 --- a/gnu/packages/firmware.scm +++ b/gnu/packages/firmware.scm @@ -185,7 +185,9 @@ by the b43-open driver of Linux-libre.") (define* (make-opensbi-package platform variant #:optional (arch "riscv64")) (package - (name (string-append "opensbi-" platform "-" variant)) + (name (string-replace-substring + (string-append "opensbi-" platform "-" variant) + "_" "-")) (version "0.5") (source (origin @@ -238,6 +240,9 @@ for platform-specific firmwares executing in M-mode.") (define-public opensbi-qemu-virt (make-opensbi-package "qemu" "virt")) +(define-public opensbi-qemu-sifive-u + (make-opensbi-package "qemu" "sifive_u")) + (define-public seabios (package (name "seabios") |