# SPDX-License-Identifier: GPL-2.0
# Copyright (C) 2025, STMicroelectronics.
#
# Extlinux configuration for STM32MP157C-DCM board

MENU TITLE Select the boot mode
TIMEOUT 20
DEFAULT stm32mp157c-dcm

LABEL stm32mp157c-dcm
  KERNEL /boot/uImage
  FDTDIR /boot
  APPEND root=/dev/mmcblk0p4 rootwait rw console=ttySTM0,115200