diff options
| author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2023-07-30 08:46:07 +0200 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2023-07-30 08:46:42 +0200 |
| commit | 4eca7833ef0b16fb3cdda138e3ee1e5824c36e41 (patch) | |
| tree | a87586e931bd51f2e87d07b5fbdd83bce0ccaacd /gnu/packages/firmware.scm | |
| parent | 4c204d01d57ac7da11a5772d5d4e3254d1c2408f (diff) | |
| parent | 6a2b5c66bf57bd1bbc6300e1f99e16e65f2478e8 (diff) | |
Merge branch 'master' into gnome-team
Diffstat (limited to 'gnu/packages/firmware.scm')
| -rw-r--r-- | gnu/packages/firmware.scm | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/gnu/packages/firmware.scm b/gnu/packages/firmware.scm index 35d3100ac6..ff5afbcbe1 100644 --- a/gnu/packages/firmware.scm +++ b/gnu/packages/firmware.scm @@ -489,7 +489,7 @@ provide OpenFirmware functionality on top of an already running system.") (define* (make-opensbi-package platform name #:optional (arch "riscv64")) (package (name name) - (version "1.3") + (version "1.3.1") (source (origin (method git-fetch) @@ -498,7 +498,7 @@ provide OpenFirmware functionality on top of an already running system.") (commit (string-append "v" version)))) (file-name (git-file-name "opensbi" version)) (sha256 - (base32 "0shri9jlhi2g464l05vrkzr6v754m868rr4136kq2b86amypmg8f")))) + (base32 "01pr7fyg3gcb5pj6d48w2an3m4mfjs9b398x31drqxwqcaz0zn94")))) (build-system gnu-build-system) (native-inputs (append @@ -518,11 +518,6 @@ provide OpenFirmware functionality on top of an already running system.") `("CC=gcc")) "FW_PAYLOAD=n" "V=1") - ;; Direct __asm__ is used with fence.i instructions, which are not - ;; available in the generic riscv ISA. We need a micro-arch with - ;; support for it, and rv64g is the official ISA with support for - ;; fence.i. - #:configure-flags (list "-march=rv64g") #:phases (modify-phases %standard-phases (delete 'configure) |