cec_osd_name=Jellyfish

# Keep rainbow splash screen on boot
disable_splash=0

# Set jtag debug pins to alt4, uses GPIO26 for TDI
gpio=22-27=a4

# Start with 128Mb of GPU memory
start_x=1

# Don't fill kernel ATAGs
disable_commandline_tags=1