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 LEDs(using pic32mx_configgpio). It seems like it shouldn't matter if this is done before or after the TRIS/ODC registers are set.
I didn't notice anything about this in the datasheet or in the errata, has anybody seen this before? Is there something that I'm missing? -Robert Middleton
