# Get more options/information on http://elinux.org/RPiconfig
# or on https://www.raspberrypi.org/documentation/configuration/config-txt.md
#
# !!!!! This file will get overwritten by updates. Please use !!!!!
# !!!!! extraconfig.txt if you want to set additional         !!!!!
# !!!!! configuration options or add dt overlays.             !!!!!

# Our kernels are located on a Linux partition. Chainload U-Boot to load them.
kernel=u-boot.bin

# Use 32 MB for GPU for all RPis (Min 16 - Max 192 MB)
# We don't need that much memory reserved for it, because we drive most hardware
# from Linux, not the VPU OS
gpu_mem=32

# Turbo mode: 0 = enable dynamic freq/voltage - 1 = always max
force_turbo=0
# Start in turbo mode for 30 seconds or until cpufreq sets a frequency
initial_turbo=30

# DO NOT overvoltage manually to not void warranty!
over_voltage=0

# Fix mini UART input frequency, and setup/enable up the UART.
enable_uart=1

# Disable warning overlays as they don't work well together with linux's graphical output
avoid_warnings=1

# These are not applied automatically? Needed to use respective upstream drivers.
dtoverlay=vc4-kms-v3d
dtoverlay=dwc2

# This overlay fixes divergences between the RPi device tree and what
# upstream provides
dtoverlay=upstream-mmc
dtoverlay=upstream-aux-interrupt

[pi1]

# Max ARM freq (default 700 MHz)
arm_freq=840

# Max core (GPU) freq (default 250 MHz)
core_freq=375

# SDRAM freq (default 400)
sdram_freq=400


[pi3]

# Boot in AArch64 (64-bit) mode
arm_control=0x200


[all]

# Allow user overrides of config options
include extraconfig.txt