# Refer to https://www.raspberrypi.org/documentation/configuration/config-txt

# Enable initial turbo from boot for 60 seconds
initial_turbo=60

# Enable serial console
enable_uart=1

[pi3]
dtoverlay=upstream,miniuart-bt
kernel=u-boot-rpi3.bin
core_freq=250

[pi4]
dtoverlay=upstream-pi4
kernel=u-boot-rpi4.bin

[all]
# Boot in 64 bit mode
arm_64bit=1
