diff options
Diffstat (limited to 'board/raspberrypi/post-image.sh')
| -rwxr-xr-x | board/raspberrypi/post-image.sh | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/board/raspberrypi/post-image.sh b/board/raspberrypi/post-image.sh index b2bb070678..de972998b0 100755 --- a/board/raspberrypi/post-image.sh +++ b/board/raspberrypi/post-image.sh @@ -16,6 +16,26 @@ dtoverlay=pi3-miniuart-bt __EOF__ fi ;; + --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 + cat << __EOF__ >> "${BINARIES_DIR}/rpi-firmware/config.txt" + +# enable 64bits support +arm_control=0x200 +__EOF__ + fi + + # Enable uart console + if ! grep -qE '^enable_uart=1' "${BINARIES_DIR}/rpi-firmware/config.txt"; then + cat << __EOF__ >> "${BINARIES_DIR}/rpi-firmware/config.txt" + +# enable rpi3 ttyS0 serial console +enable_uart=1 +__EOF__ + fi + ;; esac rm -rf "${GENIMAGE_TMP}" |
