title		PTXdist - Pengutronix-DistroKit
version		4.11
options		rootwait
linux		/boot/zImage
devicetree	/boot/imx6dl-riotboard.dtb
linux-appendroot true