# get you going in 64 bit mode
# not needed with new firmware ... maybe

enable_uart=1

# 64 bit mode
arm_control=0x200

# load the kernel at 0x0
kernel_old=1

# the kernel is Das U-Boot
kernel=u-boot-stubbed.bin

disable_commandline_tags=1

# VC4 parts:
# Device Tree (dt) Parameters with VC4
#dtparam=watchdog=on,i2c=on,i2c_vc=on,act_led_trigger=mmc 
#mask_gpu_interrupt0=0x400   # VPU shouldn't handle V3D interrupts
#avoid_warnings=2            # VPU shouldn't smash our display setup.
#dtoverlay=vc4-kms-v3d       # Enable Eric Anholt's DRM VC4 HDMI/HVS/V3D driver.

#audio needs the vc4 thats a long way off in 64 bit
#audio=on

# for bcm-2837-wifi
sdhost=on
#mmc=on
sdhci=on

# Display Control
disable_overscan=1

# uncomment the following to adjust overscan. Use positive numbers if console
# goes off screen, and negative if there is too much border
#overscan_left=16
#overscan_right=16
#overscan_top=16
#overscan_bottom=16