GPIO read/set utility

[Werner Almesberger]

I made a little utility to read and set GPIO pins from the shell:
http://svn.openmoko.org/trunk/src/target/gpio/

Example:

# gpio
Displays all GPIOs.

# watch -n 1 -d gpio
Monitors all GPIOs for changes.

# gpio b2=1
Sets the red LED on GTA02.

# gpio b2
Displays the red LED setting.

Alas, the latter also reveals a hardware bug. More about this later.

- Werner