title		PTXdist - Pengutronix-DistroKit
version		4.11
options		rootwait console=ttyAMA0,115200
linux		/boot/zImage
devicetree	/boot/vexpress-v2p-ca9.dtb
linux-appendroot true