# VirtualXT Raspberry Pi baremetal configuration
# Based on Circle boot/config64.txt
#
# Copy this file to the root of a FAT32-formatted SD card along with:
#   - bootcode.bin, start*.elf, fixup*.dat (from Circle boot/)
#   - kernel8-rpi4.img, kernel_2712.img, or kernel8.img (from make)

arm_64bit=1
kernel_address=0x80000
initial_turbo=0
dtparam=audio=on
disable_splash=1
boot_delay=0

[pi3]
kernel=kernel8.img

[pi4]
armstub=armstub8-rpi4.bin
kernel=kernel8-rpi4.img
max_framebuffers=2

[pi5]
kernel=kernel_2712.img
