From 7f1facbadde5e31fcbde36a70c4cb29d281f216f Mon Sep 17 00:00:00 2001
From: Arun Isaac
Date: Fri, 1 Apr 2022 15:25:59 +0530
Subject: gn: riscv-pk: Remove package.

riscv-pk has been upstreamed.

* gn/packages/virtualization.scm: Do not import (guix build-system
gnu) and (gnu packages cross-base).
(riscv-pk): Delete variable.
---
 gn/packages/virtualization.scm | 50 ------------------------------------------
 1 file changed, 50 deletions(-)

diff --git a/gn/packages/virtualization.scm b/gn/packages/virtualization.scm
index 0613e20..5c08f11 100644
--- a/gn/packages/virtualization.scm
+++ b/gn/packages/virtualization.scm
@@ -5,13 +5,11 @@
   #:use-module (guix packages)
   #:use-module (guix download)
   #:use-module (guix git-download)
-  #: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)
@@ -20,54 +18,6 @@
   #: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"
-       ;; 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")
-       #: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")
-- 
cgit v1.2.3