OpenSBI development version (master branch)

David Abdurachmanov 1f1bb93872 Use the official v1.3.1 ... With kernel v6.4.7 and v1.3-40-gc2e6027 we cannot bring other CPUs online, thus we are stuck with a single core. Signed-off-by: David Abdurachmanov <davidlt@rivosinc.com>		2023-08-01 16:12:56 +03:00
057eb10b6d523540012e6947d5c9f63e95244e94.tar.gz	Use the official v1.3.1	2023-08-01 16:12:56 +03:00
opensbi-unstable.spec	Use the official v1.3.1	2023-08-01 16:12:56 +03:00