gn: Add riscv-pk.

1 files changed, 44 insertions, 1 deletions

diff --git a/gn/packages/virtualization.scm b/gn/packages/virtualization.scm
index 0636cba..5421a2b 100644
--- a/gn/packages/virtualization.scm
+++ b/gn/packages/virtualization.scm
@@ -5,12 +5,13 @@
   #:use-module (guix packages)
   #:use-module (guix download)
   #:use-module (guix git-download)
-  #:use-module (guix build-system python)
+  #:use-module (guix build-system gnu)
   #:use-module (guix build-system scons)
   #:use-module (gnu packages)
   #:use-module (gnu packages boost)
   #:use-module (gnu packages compression)
   #:use-module (gnu packages cpp)
+  #:use-module (gnu packages cross-base)
   #:use-module (gnu packages graphviz)
   #:use-module (gnu packages image)
   #:use-module (gnu packages m4)
@@ -19,6 +20,48 @@
   #:use-module (gnu packages python)
   #:use-module (gnu packages python-xyz))
 
+(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
+       ;#:configure-flags
+       ;#~(list "--host=riscv64-linux-gnu")
+       #:target "riscv64-linux-gnu"
+       #:phases
+       #~(modify-phases %standard-phases
+           (add-after 'unpack 'force-install-directory
+             (lambda _
+               (substitute* "Makefile.in"
+                 (("\\$\\(install_subdir\\)") "")))))))
+    (native-inputs
+     (if (not (string-prefix? "riscv64" (%current-system)))
+       (list (cross-gcc "riscv64-linux-gnu")
+             (cross-binutils "riscv64-linux-gnu"))
+       '()))
+    (home-page "https://github.com/riscv-software-src/riscv-pk")
+    (synopsis "RISC-V Proxy Kernel")
+    (description "The RISC-V Proxy Kernel, @code{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 and thus handles I/O-related system calls by proxying
+them to a host computer.  This package also contains the Berkeley Boot Loader,
+@code{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)))
+
 (define-public gem5
   (package
     (name "gem5")