arm_64bit=1
kernel=kernel_sk20.img
armstub=no-prefetch.bin 

hdmi_group=1

# PAL = 18 (or 17)
hdmi_mode=18

# NTSC = 1 or 3 (17 or 18 also work fine, but they are 50Hz!)
#hdmi_mode=1

initial_turbo=2
force_turbo=1

# usually very stable, RPi 3A+/3B+
arm_freq=1400
core_freq=550 
sdram_freq=500
over_voltage=6

