Looking at it again today, it's all working properly. I think that I
was confusing myself yesterday with what I was doing. I forgot to put
the CONFIG_ in front of the new Kconfig option that I had added, and I
also see now that the config.h will not be regenerated once you save
it via
Hi Robert,
Strange, if it was the opposite "LEDs only works after you disable
JTAG on DDPCON" would make more sense. Maybe the gpio config is
activating some necessary clock, but I don't see nothing about it here
http://ww1.microchip.com/downloads/en/DeviceDoc/61129D.pdf
What is happening when
I'm messing around with NuttX for fun, and I'm working on adding a
sample for the Explorer16 board. Some of the LEDs on the board are on
the same pins as JTAG pins. I've managed to set the correct register
to disable JTAG(DDPCON), however this only works after configuring the
pins to be
