Nick Cao ff017b9952 opensbi: 1.2 -> 1.3 ... Diff: https://github.com/riscv-software-src/opensbi/compare/v1.2...v1.3		2023-07-02 08:46:01 +08:00
..
default.nix	opensbi: 1.2 -> 1.3	2023-07-02 08:46:01 +08:00