You can refer to the configuration of leds on mys-imx6ul-14x14-evk.dts, pinctrl_leds is the configuration of pinmux.

129     leds {

130         compatible = "gpio-leds";

131         pinctrl-names = "default";

132         pinctrl-0 = <&pinctrl_leds>;

133

134         led0: cpu {

135             label = "user";

136             gpios = <&gpio5 1 GPIO_ACTIVE_LOW>;

137             default-state = "off";

138         };

139

140         led1: user {

141             label = "cpu";

142             gpios = <&gpio5 2 GPIO_ACTIVE_LOW>;

143             default-state = "on";

144             linux,default-trigger = "heartbeat";

145         };

146     };