# Enable 64-bit mode
arm_64bit=1

# configure the uart
enable_uart=1
core_freq=250
init_uart_clock=48000000
init_uart_baud=115200
uart_2ndstage=1

# Disable HDMI to reduce noise
hdmi_ignore_hotplug=1
hdmi_blanking=2
disable_splash=1

# gpu mem config (seems to be totally nececcarry - smaller than 32m does not boot on rpi3)
gpu_mem=32

# start the bootloader which then selects system A or B
kernel=u-boot.bin