mirror of
https://github.com/Fishwaldo/opensbi.git
synced 2025-03-16 11:51:33 +00:00
506928a1be
Not all systems have bash at a fixed location like /bin/bash. FreeBSD, for example, would typically have it at /usr/local/bin/bash. When building OpenSBI on freebsd system, the build breaks. Its advisable to use: #!/usr/bin/env bash Signed-off-by: Himanshu Chauhan <hchauhan@ventanamicro.com> Reviewed-by: Xiang W <wxjstz@126.com> Reviewed-by: Anup Patel <anup@brainfault.org>
74 lines
1.5 KiB
Bash
Executable file
74 lines
1.5 KiB
Bash
Executable file
#!/usr/bin/env bash
|
|
|
|
function usage()
|
|
{
|
|
echo "Usage:"
|
|
echo " $0 [options]"
|
|
echo "Options:"
|
|
echo " -h Display help or usage"
|
|
echo " -i <input_file_path> Input binary file path"
|
|
echo " -a <c_align> Output C array alignment"
|
|
echo " -p <c_prefix> Output C array name prefix"
|
|
echo " -t <num_zero_bytes> Output padding zero bytes"
|
|
exit 1;
|
|
}
|
|
|
|
# Command line options
|
|
INPUT_PATH=""
|
|
OUTPUT_C_ALIGN=""
|
|
OUTPUT_C_PREFIX=""
|
|
NUM_ZERO_BYTES=0
|
|
|
|
while getopts "hi:a:p:t:" o; do
|
|
case "${o}" in
|
|
h)
|
|
usage
|
|
;;
|
|
i)
|
|
INPUT_PATH=${OPTARG}
|
|
;;
|
|
a)
|
|
OUTPUT_C_ALIGN=${OPTARG}
|
|
;;
|
|
p)
|
|
OUTPUT_C_PREFIX=${OPTARG}
|
|
;;
|
|
t)
|
|
NUM_ZERO_BYTES=${OPTARG}
|
|
;;
|
|
*)
|
|
usage
|
|
;;
|
|
esac
|
|
done
|
|
shift $((OPTIND-1))
|
|
|
|
if [ -z "${INPUT_PATH}" ]; then
|
|
echo "Must specify input file path"
|
|
usage
|
|
fi
|
|
|
|
if [ ! -f "${INPUT_PATH}" ]; then
|
|
echo "The input path should be a file"
|
|
usage
|
|
fi
|
|
|
|
if [ -z "${OUTPUT_C_ALIGN}" ]; then
|
|
echo "Must provide output C array alignment"
|
|
usage
|
|
fi
|
|
|
|
if [ -z "${OUTPUT_C_PREFIX}" ]; then
|
|
echo "Must provide output C array name prefix"
|
|
usage
|
|
fi
|
|
|
|
printf "const char __attribute__((aligned(%s))) %s_start[] = {\n" "${OUTPUT_C_ALIGN}" "${OUTPUT_C_PREFIX}"
|
|
|
|
od -v -t x1 -An ${INPUT_PATH} | awk '{for (i=1; i<=NF; i++) printf " 0x%s,", $i; printf "\n"; }'
|
|
|
|
echo __dummy__ | awk "{for (i=1; i<=${NUM_ZERO_BYTES}; i++) { printf \" 0x00,\"; if (i % 16 == 0) printf \"\n\"; } }"
|
|
|
|
printf "};\n"
|
|
|
|
printf "const unsigned long %s_size = sizeof(%s_start);\n" "${OUTPUT_C_PREFIX}" "${OUTPUT_C_PREFIX}"
|