How does mpconfigboard.h work?

[davefes]

If you have something defined in mpconfigboard.h like this:

// UART4 config
#define MICROPY_HW_UART4_TX (pin_C11) // C11
#define MICROPY_HW_UART4_RX (pin_C10) // C10

are you then allowed to use C11 and C10 as GPIO?

[davefes]

Quite certain that it is OK