The manual for the GCX board doesn't show the port names for the on-board LEDs. Using the names that are used on the GCplus don't work either ("LED1:","LED2:",etc.). Are these LEDs still addressable? What the the new names?
We do not currently have a driver for the LEDs on the GCX. We have, however, added them to the Digital I/O Driver and they will be exposed as a couple of bits in the next released build (which I hope to have out this week). Once released, we'll also have a spec document update that shows which bits to use.