tribes/guix
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-06 21:20:33 +02:00
Code Activity

gnu: riscv-pk: Update to 1.1.0-0.9c61d29.

Browse Source 
* gnu/packages/virtualization.scm (riscv-pk): Update to 1.1.0-0.9c61d29.

Merges guix/guix!6954

Change-Id: I8c923dcfa79eec1ada9d859bee47eea7374b8e19
This commit is contained in:
Cayetano Santos
2026-03-07 11:24:03 +01:00
parent 520785e315
commit db7ce3f6a1
1 changed files with 32 additions and 29 deletions
Download Patch File Download Diff File Expand all files Collapse all files

61
gnu/packages/virtualization.scm
View File

@@ -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