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