disable_splash=1
boot_delay=0
arm_control=0x200
kernel=boot/vmlinuz-rpi
initramfs boot/initramfs-rpi
# uncomment line to enable serial on ttyS0 on rpi3
# NOTE: This fixes the core_freq to 250Mhz
# enable_uart=1
include usercfg.txt
