[pi1]
kernel=vmlinuz-3.18.0-trunk-rpi
initramfs initrd.img-3.18.0-trunk-rpi followkernel
# to enable DeviceTree, comment out the next line
device_tree=
hdmi_ignore_cec_init=1
cec_osd_name=presentation
enable_overscan=1
disable_splash=1
hdmi_force_hotplug=1
hdmi_drive=2
hdmi_group=1
hdmi_mode=4
gpu_mem=128
hdmi_ignore_cec_init=1