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