diff options
| author | Marius Bakke <marius@gnu.org> | 2022-12-25 13:44:17 +0100 |
|---|---|---|
| committer | Marius Bakke <marius@gnu.org> | 2022-12-25 14:15:59 +0100 |
| commit | f81c05d89bf9a91cb46524cb777f65d0295e6981 (patch) | |
| tree | f76f5c5bf8c4d486eacb75ff6402477ba0d316f7 /gnu/system/examples | |
| parent | c8e836991df304f59ab713ce12a38490e33e169b (diff) | |
gnu: QEMU: Unbundle OpenSBI.
* gnu/packages/virtualization.scm (qemu)[source](snippet): Delete precompiled
riscv64 firmware, and its source code.
[arguments]: Provide OpenSBI.
[inputs]: Add OPENSBI-QEMU.
Diffstat (limited to 'gnu/system/examples')
0 files changed, 0 insertions, 0 deletions