diff --git a/gnu/packages/firmware.scm b/gnu/packages/firmware.scm index abe8b0eca6..8822ff35da 100644 --- a/gnu/packages/firmware.scm +++ b/gnu/packages/firmware.scm @@ -240,12 +240,14 @@ (define* (make-opensbi-package platform variant #:optional (arch "riscv64")) (define-public opensbi-qemu-virt (make-opensbi-package "qemu" "virt")) -(define-public opensbi-qemu-sifive-u - (make-opensbi-package "qemu" "sifive_u")) - (define-public opensbi-sifive-fu540 (make-opensbi-package "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")