# do not modify this file as it will be overwritten on upgrade.
# create and/or modify usercfg.txt instead.
# https://www.raspberrypi.org/documentation/configuration/config-txt
[pi3]
kernel=boot/vmlinuz-rpi
initramfs boot/initramfs-rpi
[pi3+]
kernel=boot/vmlinuz-rpi
initramfs boot/initramfs-rpi
[pi4]
enable_gic=1
kernel=boot/vmlinuz-rpi4
initramfs boot/initramfs-rpi4
[all]
arm_64bit=1
include usercfg.txt
