gnu: Add opensbi.
authorVagrant Cascadian <vagrant@debian.org>
Sat, 1 Feb 2020 01:43:28 +0000 (01:43 +0000)
committerVagrant Cascadian <vagrant@debian.org>
Sat, 1 Feb 2020 03:05:00 +0000 (19:05 -0800)
commit454403f19ac00d0132bdc28093ce4bbbda5d07f9
treee63f0d6070448c63bf3f6c8d065b79293c1ca72c
parent7e954f674b9d7ec74aef405f3443f23443fc43ab
gnu: Add opensbi.

* gnu/packages/firmware (make-opensbi): New function.
  (opensbi-qemu-virt): New variable.
gnu/packages/firmware.scm