2017-09-24 01:30:06 +02:00
|
|
|
#!/bin/bash
|
2015-12-31 14:28:08 +01:00
|
|
|
|
2017-10-21 15:52:14 +02:00
|
|
|
set -e
|
|
|
|
|
2015-12-31 14:28:08 +01:00
|
|
|
BOARD_DIR="$(dirname $0)"
|
|
|
|
BOARD_NAME="$(basename ${BOARD_DIR})"
|
|
|
|
GENIMAGE_CFG="${BOARD_DIR}/genimage-${BOARD_NAME}.cfg"
|
|
|
|
GENIMAGE_TMP="${BUILD_DIR}/genimage.tmp"
|
|
|
|
|
2017-07-15 14:50:29 +02:00
|
|
|
for arg in "$@"
|
|
|
|
do
|
|
|
|
case "${arg}" in
|
|
|
|
--add-pi3-miniuart-bt-overlay)
|
|
|
|
if ! grep -qE '^dtoverlay=' "${BINARIES_DIR}/rpi-firmware/config.txt"; then
|
|
|
|
echo "Adding 'dtoverlay=pi3-miniuart-bt' to config.txt (fixes ttyAMA0 serial console)."
|
|
|
|
cat << __EOF__ >> "${BINARIES_DIR}/rpi-firmware/config.txt"
|
2016-05-02 22:25:44 +02:00
|
|
|
|
|
|
|
# fixes rpi3 ttyAMA0 serial console
|
|
|
|
dtoverlay=pi3-miniuart-bt
|
2017-04-18 17:59:59 +02:00
|
|
|
__EOF__
|
2017-07-15 14:50:29 +02:00
|
|
|
fi
|
|
|
|
;;
|
|
|
|
--aarch64)
|
|
|
|
# Run a 64bits kernel (armv8)
|
|
|
|
sed -e '/^kernel=/s,=.*,=Image,' -i "${BINARIES_DIR}/rpi-firmware/config.txt"
|
2018-06-30 21:14:25 +02:00
|
|
|
if ! grep -qE '^arm_64bit=1' "${BINARIES_DIR}/rpi-firmware/config.txt"; then
|
2017-07-15 14:50:29 +02:00
|
|
|
cat << __EOF__ >> "${BINARIES_DIR}/rpi-firmware/config.txt"
|
2017-04-18 17:59:59 +02:00
|
|
|
|
|
|
|
# enable 64bits support
|
2018-06-30 21:14:25 +02:00
|
|
|
arm_64bit=1
|
2017-04-18 17:59:59 +02:00
|
|
|
__EOF__
|
2017-07-15 14:50:29 +02:00
|
|
|
fi
|
2017-04-18 17:59:59 +02:00
|
|
|
|
2017-07-15 14:50:29 +02:00
|
|
|
# Enable uart console
|
|
|
|
if ! grep -qE '^enable_uart=1' "${BINARIES_DIR}/rpi-firmware/config.txt"; then
|
|
|
|
cat << __EOF__ >> "${BINARIES_DIR}/rpi-firmware/config.txt"
|
2017-04-18 17:59:59 +02:00
|
|
|
|
|
|
|
# enable rpi3 ttyS0 serial console
|
|
|
|
enable_uart=1
|
2016-05-02 22:25:44 +02:00
|
|
|
__EOF__
|
2017-07-15 14:50:29 +02:00
|
|
|
fi
|
|
|
|
;;
|
2017-09-24 01:30:06 +02:00
|
|
|
--gpu_mem_256=*|--gpu_mem_512=*|--gpu_mem_1024=*)
|
|
|
|
# Set GPU memory
|
2017-10-21 15:52:14 +02:00
|
|
|
gpu_mem="${arg:2}"
|
2017-09-24 01:30:06 +02:00
|
|
|
sed -e "/^${gpu_mem%=*}=/s,=.*,=${gpu_mem##*=}," -i "${BINARIES_DIR}/rpi-firmware/config.txt"
|
|
|
|
;;
|
2017-07-15 14:50:29 +02:00
|
|
|
esac
|
|
|
|
|
|
|
|
done
|
2016-05-02 22:25:44 +02:00
|
|
|
|
2015-12-31 14:28:08 +01:00
|
|
|
rm -rf "${GENIMAGE_TMP}"
|
|
|
|
|
|
|
|
genimage \
|
|
|
|
--rootpath "${TARGET_DIR}" \
|
|
|
|
--tmppath "${GENIMAGE_TMP}" \
|
|
|
|
--inputpath "${BINARIES_DIR}" \
|
|
|
|
--outputpath "${BINARIES_DIR}" \
|
|
|
|
--config "${GENIMAGE_CFG}"
|
|
|
|
|
|
|
|
exit $?
|