Searched refs:OPENSBI (Results 1 – 7 of 7) sorted by relevance
9 [ -z "$OPENSBI" ] && OPENSBI="fw_dynamic.bin"19 if [ ! -f $OPENSBI ]; then20 echo "WARNING: OpenSBI binary \"$OPENSBI\" not found, resulting binary is not functional." >&221 OPENSBI=/dev/null42 data = /incbin/("$OPENSBI");
26 obj-$(CONFIG_$(SPL_TPL_)OPENSBI) += spl_opensbi.o
713 #if CONFIG_IS_ENABLED(OPENSBI) in board_init_r()
83 its location with the OPENSBI environment variable. Afterwards, compile U-Boot
25 export OPENSBI=/tmp/opensbi-0.8-rv-bin/share/opensbi/ilp32/generic/firmware/fw_dynamic.bin;29 export OPENSBI=/tmp/opensbi-0.8-rv-bin/share/opensbi/lp64/generic/firmware/fw_dynamic.bin;
305 … export OPENSBI=/tmp/opensbi-0.8-rv-bin/share/opensbi/ilp32/generic/firmware/fw_dynamic.bin;309 … export OPENSBI=/tmp/opensbi-0.8-rv-bin/share/opensbi/lp64/generic/firmware/fw_dynamic.bin;
432 export OPENSBI=<path to opensbi/build/platform/generic/firmware/fw_dynamic.bin>
Completed in 12 milliseconds