Home
last modified time | relevance | path

Searched full:opensbi (Results 1 – 5 of 5) sorted by relevance

/freebsd/tests/ci/
H A DMakefile.riscv6411 QEMU_EXTRA_PARAM=-bios /usr/local/share/opensbi/lp64/generic/firmware/fw_jump.elf -kernel /usr/loca…
16 .if !exists(/usr/local/share/opensbi/lp64/generic/firmware/fw_jump.elf)
17 env ASSUME_ALWAYS_YES=yes pkg install sysutils/opensbi
/freebsd/sys/conf/
H A DMakefile.riscv29 # Set the ELF LMA to the address that OpenSBI's fw_jump jumps to. This allows
31 # it inside BBL or OpenSBI's fw_payload first.
/freebsd/sys/contrib/device-tree/Bindings/interrupt-controller/
H A Dsifive,plic-1.0.0.yaml43 The thead,c900-plic is different from sifive,plic-1.0.0 in opensbi, the
/freebsd/sys/riscv/riscv/
H A Dsbi.c138 printf("SBI: OpenSBI v%u.%u\n", major, minor); in sbi_print_version()
H A Dmachdep.c596 * OpenSBI uses the first PMP entry to prevent buggy supervisor in initriscv()