# Distribution specific config

# Make sure Pi will execute 64-bit kernel
arm_64bit=1

# The firmware will automatically choose which kernel to boot.
# For Raspberry Pi 4, the kernel image name must be kernel8.img,
# and kernel_2712.img for the Raspberry Pi 5.

# Uncomment this for initrd support
# You should copy your initrd to boot partition before enabling initrd
# initramfs initrd.img followkernel
