Documentation error for STM32MP215-DK
I spotted that the documentation and code examples do not match for port pin assignments for LED2 and LED 4.
The user manual manual does not match the schematics:


Code examples do match the schematics, so just a documentation error I think.
EDIT: There is definitely some sort of misalignment here. The Linux device tree (stm32mp215f-dk.dts) puts the blue LED on PZ3. And when controlled on/off or heartbeat through Linux, the blue led labelled LD2 on the dev kit is controlled. So this seems to match the user manual!
gpio-leds {
compatible = "gpio-leds";
led-blue {
function = LED_FUNCTION_HEARTBEAT;
color = <LED_COLOR_ID_BLUE>;
gpios = <&gpioz 3 GPIO_ACTIVE_HIGH>;
linux,default-trigger = "heartbeat";
default-state = "off";
};
};I can only assume the LED labelled LD4 on the dev kit is wired to pin PF10?
