1# Generic Distro Configuration for STM32MP157 2menu title Select the boot mode 3TIMEOUT 20 4DEFAULT stm32mp157c-ev1 5 6LABEL stm32mp157c-ev1 7 KERNEL /fit_kernel_dtb.itb#ev1 8 APPEND root=/dev/mmcblk0p6 rootwait rw earlyprintk console=ttyS3,115200 9 10LABEL stm32mp157c-ev1-m4 11 KERNEL /fit_copro_kernel_dtb.itb#ev1-m4 12 APPEND root=/dev/mmcblk0p6 rootwait rw earlyprintk console=ttyS3,115200 13 14LABEL stm32mp157c-dk2 15 KERNEL /fit_kernel_dtb.itb#dk2 16 APPEND root=/dev/mmcblk0p6 rootwait rw earlyprintk console=ttyS3,115200 17 18LABEL stm32mp157c-dk2-m4 19 KERNEL /fit_copro_kernel_dtb.itb#dk2-m4 20 APPEND root=/dev/mmcblk0p6 rootwait rw earlyprintk console=ttyS3,115200 21