> So I keep the GPIO muxing for the external GPIOs and the DIP switch > GPIOs, but the one that are "claimed" by another device (like gpio-leds > or gpio-keys), I should remove the muxing? I'm fine with that, just > want to confirm the choice. Hi Thomas, Yes, i'm happy with that. Andrew