diff options
Diffstat (limited to 'gnu/packages/firmware.scm')
| -rw-r--r-- | gnu/packages/firmware.scm | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/gnu/packages/firmware.scm b/gnu/packages/firmware.scm index e9083bc1c4..aefc0a8b69 100644 --- a/gnu/packages/firmware.scm +++ b/gnu/packages/firmware.scm @@ -245,17 +245,9 @@ for platform-specific firmwares executing in M-mode.") (define-public opensbi-qemu-generic (make-opensbi-package "generic" "opensbi-qemu-generic")) -(define-public opensbi-qemu-virt - (deprecated-package "opensbi-qemu-virt" opensbi-qemu-generic)) - (define-public opensbi-sifive-fu540 (make-opensbi-package "sifive/fu540" "opensbi-sifive-fu540")) -(define-public opensbi-qemu-sifive-u - ;; Dropped upstream, as all functionality is present in the sifive-fu540 - ;; target for recent versions of qemu, u-boot and linux. - (deprecated-package "opensbi-qemu-sifive-u" opensbi-sifive-fu540)) - (define-public seabios (package (name "seabios") |