diff options
Diffstat (limited to 'gn/packages/virtualization.scm')
-rw-r--r-- | gn/packages/virtualization.scm | 50 |
1 files changed, 0 insertions, 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") |