[pi4]
# Enable DRM VC4 V3D driver on top of the dispmanx display stack
#total_mem=1024
arm_64bit=1
enable_gic=1
armstub=armstub8-gic.bin
enable_uart=0
kernel=Image
device_tree=

[all]
arm_64bit=1
enable_gic=1
armstub=armstub8-gic.bin
enable_uart=0
kernel=Image
device_tree=bcm2711-rpi-4-b.dtb