Searched refs:OPENSBI (Results 1 – 4 of 4) 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");
25 obj-$(CONFIG_$(SPL_TPL_)OPENSBI) += spl_opensbi.o
704 #if CONFIG_IS_ENABLED(OPENSBI) in board_init_r()
83 its location with the OPENSBI environment variable. Afterwards, compile U-Boot