1 // SPDX-License-Identifier: GPL-2.0+ OR BSD-3-Clause
3 * Copyright (C) 2020 Marek Vasut <marex@denx.de>
6 #include "stm32mp15xx-dhcor-u-boot.dtsi"
16 u-boot,boot-led = "led1";
17 u-boot,error-led = "led4";
18 dh,board-coding-gpios = <&gpiog 13 0>, <&gpiod 9 0>;
82 u-boot,force-b-session-valid;