summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorCayetano Santos <csantosb@inventati.org>2026-03-07 11:24:03 +0100
committerCayetano Santos <csantosb@inventati.org>2026-03-10 08:23:07 +0100
commitdb7ce3f6a1e0529226ac055ada376c239866f49c (patch)
treecf3070ff213bec1caae0622736693a5d48783f28 /gnu
parent520785e315eddbe47199ac557e88e60eca3ae97c (diff)
gnu: riscv-pk: Update to 1.1.0-0.9c61d29.
* gnu/packages/virtualization.scm (riscv-pk): Update to 1.1.0-0.9c61d29. Merges guix/guix!6954 Change-Id: I8c923dcfa79eec1ada9d859bee47eea7374b8e19
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/virtualization.scm61
1 files changed, 32 insertions, 29 deletions
diff --git a/gnu/packages/virtualization.scm b/gnu/packages/virtualization.scm
index e8ab4616bb4..6b789ac36c5 100644
--- a/gnu/packages/virtualization.scm
+++ b/gnu/packages/virtualization.scm
@@ -3504,34 +3504,37 @@ machines with shared folder, ssh, and disk creation support.")
(license license:expat)))
(define-public riscv-pk
- (package
- (name "riscv-pk")
- (version "1.0.0")
- (source
- (origin
- (method git-fetch)
- (uri (git-reference
- (url "https://github.com/riscv-software-src/riscv-pk")
- (commit (string-append "v" version))))
- (file-name (git-file-name name version))
- (sha256
- (base32
- "1cc0rz4q3a1zw8756b8yysw8lb5g4xbjajh5lvqbjix41hbdx6xz"))))
- (build-system gnu-build-system)
- (arguments
- (list #:out-of-source? #t
- ;; riscv-pk can only be built for riscv64.
- #:target "riscv64-linux-gnu"
- #:make-flags #~(list (string-append "INSTALLDIR=" #$output))
- ;; Add flags to keep symbols fromhost and tohost. These symbols are
- ;; required for the correct functioning of pk.
- #:strip-flags #~(list "--strip-unneeded"
- "--keep-symbol=fromhost"
- "--keep-symbol=tohost"
- "--enable-deterministic-archives")))
- (home-page "https://github.com/riscv-software-src/riscv-pk")
- (synopsis "RISC-V Proxy Kernel")
- (description "The RISC-V Proxy Kernel, @command{pk}, is a lightweight
+ ;; Last tag in 2019.
+ (let ((commit "9c61d29846d8521d9487a57739330f9682d5b542")
+ (revision "0"))
+ (package
+ (name "riscv-pk")
+ (version (git-version "1.1.0" revision commit))
+ (source
+ (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/riscv-software-src/riscv-pk")
+ (commit commit)))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32
+ "0k5ahxydxiaw2plcn3br70r8rskm0i3815jdrcywv6r8lb8xm2wd"))))
+ (build-system gnu-build-system)
+ (arguments
+ (list #:out-of-source? #t
+ ;; riscv-pk can only be built for riscv64.
+ #:target "riscv64-linux-gnu"
+ #:make-flags #~(list (string-append "INSTALLDIR=" #$output))
+ ;; Add flags to keep symbols fromhost and tohost. These symbols are
+ ;; required for the correct functioning of pk.
+ #:strip-flags #~(list "--strip-unneeded"
+ "--keep-symbol=fromhost"
+ "--keep-symbol=tohost"
+ "--enable-deterministic-archives")))
+ (home-page "https://github.com/riscv-software-src/riscv-pk")
+ (synopsis "RISC-V Proxy Kernel")
+ (description "The RISC-V Proxy Kernel, @command{pk}, is a lightweight
application execution environment that can host statically-linked RISC-V ELF
binaries. It is designed to support tethered RISC-V implementations with
limited I/O capability and thus handles I/O-related system calls by proxying
@@ -3540,7 +3543,7 @@ them to a host computer.
This package also contains the Berkeley Boot Loader, @command{bbl}, which is a
supervisor execution environment for tethered RISC-V systems. It is designed
to host the RISC-V Linux port.")
- (license license:bsd-3)))
+ (license license:bsd-3))))
(define-public hivex
(package