# 64-bit mode
arm_control=0x200

enable_uart=1

device_tree=dtbs/bcm2837-rpi-3-b.dtb
kernel=vmlinux-rpi3
