| # Generic Distro Configuration for STM32MP157 |
| menu title Select the boot mode |
| TIMEOUT 20 |
| DEFAULT stm32mp157c-ev1 |
| |
| LABEL stm32mp157c-ev1 |
| KERNEL /fit_kernel_dtb.itb#ev1 |
| APPEND root=/dev/mmcblk0p6 rootwait rw earlyprintk console=ttyS3,115200 |
| |
| LABEL stm32mp157c-ev1-m4 |
| KERNEL /fit_copro_kernel_dtb.itb#ev1-m4 |
| APPEND root=/dev/mmcblk0p6 rootwait rw earlyprintk console=ttyS3,115200 |
| |
| LABEL stm32mp157c-dk2 |
| KERNEL /fit_kernel_dtb.itb#dk2 |
| APPEND root=/dev/mmcblk0p6 rootwait rw earlyprintk console=ttyS3,115200 |
| |
| LABEL stm32mp157c-dk2-m4 |
| KERNEL /fit_copro_kernel_dtb.itb#dk2-m4 |
| APPEND root=/dev/mmcblk0p6 rootwait rw earlyprintk console=ttyS3,115200 |