[all]
arm_64bit=1
dtparam=audio=on,i2c_arm=on,spi=on
dtoverlay=mmc
dtoverlay=disable-bt
device_tree_address=0x4000
kernel=u-boot.bin

dtoverlay=vc4-kms-v3d
display_auto_detect=0
disable_overscan=1
max_framebuffers=2
framebuffer_width=800
framebuffer_height=480
hdmi_force_hotplug=1
config_hdmi_boost=4
hdmi_group=1

[pi4]
hdmi_safe=0
armstub=armstub8-gic.bin
arm_boost=1