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

# very stable, RPi 3A+/3B+
arm_freq=1500
core_freq=600 
sdram_freq=550
over_voltage=2 

