stm32mp1: Allow to activate CONFIG_DEBUG_UART
[platform/kernel/u-boot.git] / board / ids /
drwxr-xr-x   ..
drwxr-xr-x - ids8313