diff options
| author | Vagrant Cascadian <vagrant@debian.org> | 2020-02-01 04:17:25 +0000 |
|---|---|---|
| committer | Vagrant Cascadian <vagrant@debian.org> | 2020-01-31 20:22:27 -0800 |
| commit | 01501a308c515b1d77c127fa4b5103827951b4e6 (patch) | |
| tree | db186bde3795598011d84dc2b588ac6b68bf42b7 /gnu/packages/firmware.scm | |
| parent | cd63c2beb0a0693ed8bf86362738bb724d8f95b7 (diff) | |
gnu: Add opensbi-sifive-fu540.
* gnu/packages/firmware (opensbi-sifive-fu540): New variable.
Diffstat (limited to 'gnu/packages/firmware.scm')
| -rw-r--r-- | gnu/packages/firmware.scm | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gnu/packages/firmware.scm b/gnu/packages/firmware.scm index affed3b823..d5828deca2 100644 --- a/gnu/packages/firmware.scm +++ b/gnu/packages/firmware.scm @@ -243,6 +243,9 @@ for platform-specific firmwares executing in M-mode.") (define-public opensbi-qemu-sifive-u (make-opensbi-package "qemu" "sifive_u")) +(define-public opensbi-sifive-fu540 + (make-opensbi-package "sifive" "fu540")) + (define-public seabios (package (name "seabios") |