| Patrick Delaunay | 01bcfc2 | 2019-08-02 15:07:21 +0200 | [diff] [blame] | 1 | # Generic Distro Configuration for STM32MP157 |
| 2 | menu title Select the boot mode |
| 3 | TIMEOUT 20 |
| 4 | DEFAULT stm32mp157c-ev1 |
| 5 | |
| 6 | LABEL stm32mp157c-ev1 |
| 7 | KERNEL /fit_kernel_dtb.itb#ev1 |
| 8 | APPEND root=/dev/mmcblk0p6 rootwait rw earlyprintk console=ttyS3,115200 |
| 9 | |
| 10 | LABEL stm32mp157c-ev1-m4 |
| 11 | KERNEL /fit_copro_kernel_dtb.itb#ev1-m4 |
| 12 | APPEND root=/dev/mmcblk0p6 rootwait rw earlyprintk console=ttyS3,115200 |
| 13 | |
| 14 | LABEL stm32mp157c-dk2 |
| 15 | KERNEL /fit_kernel_dtb.itb#dk2 |
| 16 | APPEND root=/dev/mmcblk0p6 rootwait rw earlyprintk console=ttyS3,115200 |
| 17 | |
| 18 | LABEL stm32mp157c-dk2-m4 |
| 19 | KERNEL /fit_copro_kernel_dtb.itb#dk2-m4 |
| 20 | APPEND root=/dev/mmcblk0p6 rootwait rw earlyprintk console=ttyS3,115200 |