#bootloarder
uart_2ndstage=1

# 64bits
arm_64bit=1

# Kernel name
kernel=kernel.bin