Giters

dwelch67 / raspberrypi

Raspberry Pi ARM based bare metal examples

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

arm_control deprecated

andrewrk opened this issue · comments

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 ?

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.