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

# for RPi Zero 2
arm_freq=1350
core_freq=550
sdram_freq=550
over_voltage=6

