branch wip-riscv updated (e60fcb0 -> b00804c)

[guix-commits]

efraim pushed a change to branch wip-riscv
in repository guix.

    from e60fcb0  gnu: python-pygobject: Extend test timeout.
     new 28b3ab1  gnu: nss: Adjust make-flags for riscv64-linux.
     new 712c288  system: system-linux-image-file-name: Set kernel name for 
riscv64-linux.
     new 90d1374  gnu: make-opensbi-package: Adjust installed files.
     new 811d33c  gnu: u-boot-sifive-unmatched: Build with opensbi.
     new b00804c  gnu: dtc: Build without valgrind on riscv64-linux.

The 5 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "add" were already present in the repository and have only
been added to this reference.


Summary of changes:
 gnu/packages/bootloaders.scm | 20 ++++++++++++++++++--
 gnu/packages/firmware.scm    |  2 +-
 gnu/packages/nss.scm         |  7 ++++++-
 gnu/system.scm               |  3 ++-
 4 files changed, 27 insertions(+), 5 deletions(-)