board/st/stm32mp1/extlinux.conf

   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