3 BOARD_DIR="$(dirname $0)"
4 BOARD_NAME="$(basename ${BOARD_DIR})"
5 GENIMAGE_CFG="${BOARD_DIR}/genimage-${BOARD_NAME}.cfg"
6 GENIMAGE_TMP="${BUILD_DIR}/genimage.tmp"
11 --add-pi3-miniuart-bt-overlay)
12 if ! grep -qE '^dtoverlay=' "${BINARIES_DIR}/rpi-firmware/config.txt"; then
13 echo "Adding 'dtoverlay=pi3-miniuart-bt' to config.txt (fixes ttyAMA0 serial console)."
14 cat << __EOF__ >> "${BINARIES_DIR}/rpi-firmware/config.txt"
16 # fixes rpi3 ttyAMA0 serial console
17 dtoverlay=pi3-miniuart-bt
22 # Run a 64bits kernel (armv8)
23 sed -e '/^kernel=/s,=.*,=Image,' -i "${BINARIES_DIR}/rpi-firmware/config.txt"
24 if ! grep -qE '^arm_control=0x200' "${BINARIES_DIR}/rpi-firmware/config.txt"; then
25 cat << __EOF__ >> "${BINARIES_DIR}/rpi-firmware/config.txt"
27 # enable 64bits support
33 if ! grep -qE '^enable_uart=1' "${BINARIES_DIR}/rpi-firmware/config.txt"; then
34 cat << __EOF__ >> "${BINARIES_DIR}/rpi-firmware/config.txt"
36 # enable rpi3 ttyS0 serial console
41 --gpu_mem_256=*|--gpu_mem_512=*|--gpu_mem_1024=*)
44 sed -e "/^${gpu_mem%=*}=/s,=.*,=${gpu_mem##*=}," -i "${BINARIES_DIR}/rpi-firmware/config.txt"
50 rm -rf "${GENIMAGE_TMP}"
53 --rootpath "${TARGET_DIR}" \
54 --tmppath "${GENIMAGE_TMP}" \
55 --inputpath "${BINARIES_DIR}" \
56 --outputpath "${BINARIES_DIR}" \
57 --config "${GENIMAGE_CFG}"