This is an automated email from the git hooks/post-receive script.
guix_mirror_bot pushed a commit to branch master
in repository guix.
The following commit(s) were added to refs/heads/master by this push:
new db7ce3f6a1 gnu: riscv-pk: Update to 1.1.0-0.9c61d29.
db7ce3f6a1 is described below
commit db7ce3f6a1e0529226ac055ada376c239866f49c
Author: Cayetano Santos <[email protected]>
AuthorDate: Sat Mar 7 11:24:03 2026 +0100
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
---
gnu/packages/virtualization.scm | 61 +++++++++++++++++++++--------------------
1 file changed, 32 insertions(+), 29 deletions(-)
diff --git a/gnu/packages/virtualization.scm b/gnu/packages/virtualization.scm
index e8ab4616bb..6b789ac36c 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
