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

/seL4-test-master/tools/seL4/cmake-tool/helpers/
H A Dmake-uimage70 ELF_FILE=$1
72 if ! readelf -h "$ELF_FILE" > /dev/null
74 die "\"$ELF_FILE\" does not appear to be an ELF file"
77 set -- $(readelf -s $ELF_FILE | grep -w _start)
89 ELF_FILE=$2
93 # Validate arguments. $ELF_FILE is validated by get_start_symbol(). We'll let
119 "$OBJCOPY" -O binary "$ELF_FILE" /dev/stdout >> $TEMPFILE
120 START=$(get_start_symbol "$ELF_FILE")

Completed in 67 milliseconds