diff --git a/board/raspberrypi/post-image.sh b/board/raspberrypi/post-image.sh index 3900a15727..a2d6a98e79 100755 --- a/board/raspberrypi/post-image.sh +++ b/board/raspberrypi/post-image.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash BOARD_DIR="$(dirname $0)" BOARD_NAME="$(basename ${BOARD_DIR})" @@ -38,6 +38,11 @@ enable_uart=1 __EOF__ fi ;; + --gpu_mem_256=*|--gpu_mem_512=*|--gpu_mem_1024=*) + # Set GPU memory + gpu_mem="${1:2}" + sed -e "/^${gpu_mem%=*}=/s,=.*,=${gpu_mem##*=}," -i "${BINARIES_DIR}/rpi-firmware/config.txt" + ;; esac done