arm_control deprecated
andrewrk opened this issue · 1 comments
andrewrk commented
arm_control=0x200
Sets board-specific control bits. NOTE: This option is deprecated in favour of using the arm_64bit command to set the 64-bit boot control bit (arm_control=0x200).
from https://www.raspberrypi.org/documentation/configuration/config-txt/misc.md
Should this be arm_64bit=1 ?
andrewgreenwood commented
Setting arm_64bit=1 works for me (I tested aarch64 bootloader07). My understanding is that this means you also don't need to use the "kernel_old" option and that it sets the start address to 0x80000.