Searched full:opensbi (Results 1 – 2 of 2) sorted by relevance
6 OPENSBI_FILE = 'opensbi-riscv64-generic-fw_dynamic.bin'
43 The thead,c900-plic is different from sifive,plic-1.0.0 in opensbi, the
