arm_control deprecated - Githubissues

dwelch67 / raspberrypi

Raspberry Pi ARM based bare metal examples

2.7k stars 483 forks source link

arm_control deprecated #39

Open andrewrk opened 5 years ago

andrewrk commented 5 years ago

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 5 years ago

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.