diff options
-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") |