# Raspberry Pi 3

[pi3]

kernel=rpi3-u-boot.bin

# Put the RPi3 into 64 bit mode

arm_control=0x200

# Default Fedora configs for all Raspberry Pi Revisions

[all]

# Early boot delay in the hope monitors are initialised enough to provide EDID

bootcode_delay=1

# We need this to be 32Mb to support VCHI services and drivers which use them

# but this isn't used by mainline VC4 driver so reduce to lowest supported value

# You need to set this to at least 80 for using the camera

gpu_mem=32

# Use eXtended firmware by default

start_x=1

# New option to allow the firmware to load upstream dtb

# Will allow things like camera, touchscreen etc to work OOTB

upstream_kernel=1

# Without this sdram runs at 400mhz, instead of 450

# https://github.com/Hexxeh/rpi-firmware/issues/172

audio_pwm_mode=0

# Enable UART

# Only enable UART if you're going to use it as it has speed implications

# Serial console is ttyS0 on RPi3 and ttyAMA0 on all other variants

# u-boot will auto detect serial and pass corrent options to kernel if enabled

# Speed details: https://www.raspberrypi.org/forums/viewtopic.php?f=28&t=141195

# enable_uart=1

# Allow OS rather than firmware control CEC

mask_gpu_interrupt1=0x100

# Other options you can adjust for all Raspberry Pi Revisions

# https://www.raspberrypi.org/documentation/configuration/config-txt/README.md

# All options documented at http://elinux.org/RPiconfig

# for more options see http://elinux.org/RPi_config.txt