Hi LD,
Yes, I figured out how to poke at the gpio's mentioned by Sergey.
What I want to do is like described here: http://www.armadeus.com/wiki/index.php?title=GPIO_LEDS
I'm wondering if ./linux/drivers/gpio/gpio-sch.c could be a good place to put in the platform_led structure...