title		PTXdist - Pengutronix-DistroKit
version		5.13
options		rootwait rw
linux		/boot/zImage
devicetree	/boot/stm32mp157c-ev1.dtb
linux-appendroot true