From: J. Tang Date: Sat, 30 Jun 2018 19:14:25 +0000 (-0400) Subject: board/raspberrypi: update firmware option to use 64-bit mode X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=722c11ce7b25a1925498483ef58f59d0931b2ca7;p=buildroot.git board/raspberrypi: update firmware option to use 64-bit mode As per latest Raspberry Pi firmware documentation, the option 'arm_control' has been deprecated in favor of 'arm_64bit'. Fixes https://bugs.busybox.net/show_bug.cgi?id=11111. Signed-off-by: Jason Tang Signed-off-by: Thomas Petazzoni --- diff --git a/board/raspberrypi/post-image.sh b/board/raspberrypi/post-image.sh index 3c6c938407..70447cd48b 100755 --- a/board/raspberrypi/post-image.sh +++ b/board/raspberrypi/post-image.sh @@ -23,11 +23,11 @@ __EOF__ --aarch64) # Run a 64bits kernel (armv8) sed -e '/^kernel=/s,=.*,=Image,' -i "${BINARIES_DIR}/rpi-firmware/config.txt" - if ! grep -qE '^arm_control=0x200' "${BINARIES_DIR}/rpi-firmware/config.txt"; then + if ! grep -qE '^arm_64bit=1' "${BINARIES_DIR}/rpi-firmware/config.txt"; then cat << __EOF__ >> "${BINARIES_DIR}/rpi-firmware/config.txt" # enable 64bits support -arm_control=0x200 +arm_64bit=1 __EOF__ fi