title		PTXdist - Pengutronix-DistroKit
version		5.5
options		rootwait rw
linux		/boot/zImage
devicetree	/boot/stm32mp157c-lxa-mc1.dtb
linux-appendroot true