arm_64bit=1
armstub=no-prefetch.bin 

hdmi_group=1
#hdmi_mode=4
hdmi_mode=17

initial_turbo=2
force_turbo=1

kernel=kernel_sk64.img

# this is some slight overclocking which can help increasing the reliability in the EasyFlash C128 2MHz mode 
arm_freq=1500
core_freq=600 
sdram_freq=550
over_voltage=2 
