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