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

/seL4-test-master/tools/seL4/cmake-tool/helpers/
H A Dmake-uimage47 $PROGNAME OBJCOPY-TOOL ELF-FILE ARCHITECTURE OUTPUT-FILE
56 object. ARCHITECTURE must be either "arm" or "arm64". The image is
90 ARCHITECTURE=$3
101 case "$ARCHITECTURE" in
106 die "unrecognized (ARM) architecture \"$ARCHITECTURE\""
110 # $ARCHITECTURE is now known to be a safe string and no longer requires
121 mkimage -A $ARCHITECTURE -O linux -T kernel -C none \

Completed in 20 milliseconds