# 64-bit mode
arm_control=0x200
enable_uart=1
device_tree=dtbs/bcm2837-rpi-3-b.dtb
kernel=vmlinux-rpi3