label osd32mp1-red-buildroot
kernel /boot/zImage
devicetree /boot/stm32mp157c-osd32mp1-red.dtb
append root=/dev/mmcblk1p4 rootwait