TIMEOUT 20
DEFAULT stm32mp15-buildroot
LABEL stm32mp15-buildroot
  kernel /boot/uImage
  devicetree /boot/stm32mp157a-dk1.dtb
  append root=/dev/mmcblk0p8 rootwait rw console=ttySTM0,115200