# Configure timeout to choose the kernel
TIMEOUT=2

DEFAULT=1

# Configure default kernel to boot: check all kernels in `/boot/extlinux/extlinux.conf`
#DEFAULT="kernel-4.4"

# Configure additional kernel configuration options
APPEND="init=/sbin/init earlycon=uart8250,mmio32,0xff1a0000 swiotlb=1 coherent_pool=1m earlyprintk console=ttyS2,1500000n8"

