Julian Stecklina 6fd739a49e opensbi: also build for riscv32		2023-11-22 11:20:34 +01:00
..
default.nix	opensbi: also build for riscv32	2023-11-22 11:20:34 +01:00