# 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

# Device Tree (dt) Parameters with VC4
dtparam=watchdog=on,i2c=on,i2c_vc=on,act_led_trigger=mmc 

# Use the BCM2835 SDHOST MMC driver
# dtoverlay=sdhost 
# kills WiFi - don't do that.

# VC4 parts:
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.

# NOT HERE ... on the kernel command line
#cma=256M@512M

#audio
audio=on
# for bcm-2837-wifi
sdhost=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