Searched refs:BOARD (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/tools/imx8x/
H A Dbf-boot.sh37 BOARD=$2
67 if [ ! -z "$BOARD" ]; then
68 BOARD_SERIAL=$(get_uart_serial_number $BOARD)
96 if [ ! -z "$BOARD" ]; then
97 DEVPATH=$(get_otg_path_uuu $BOARD)

Completed in 68 milliseconds