[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#54615: [PATCH v3 2/2] gnu: Add riscv-pk.
From: |
Efraim Flashner |
Subject: |
bug#54615: [PATCH v3 2/2] gnu: Add riscv-pk. |
Date: |
Thu, 31 Mar 2022 15:30:26 +0300 |
Thanks for the patches. Does it make sense to wrap spike with riscv-pk?
Right now I'm running it with:
guix shell spike riscv-pk -- sh -c 'spike $GUIX_ENVIRONMENT/bin/pk
/gnu/store/hzd70l3dbgf66m4ibf34dzl7sif06f3k-hello-static-2.12/bin/hello'
I'm not sure how much spike is used without pk.
--
Efraim Flashner <efraim@flashner.co.il> אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted
signature.asc
Description: PGP signature