[W12.bis.dssnp] LED1 and GPIO

[Natanael Arndt]

I wrote a small init script [1,2] which switches LED1 on (on startup)
and off (on shutdown). As I mentioned in the wiki [1] it needs the GPIO
[3] kernel module. Maybe someone of you who hasn't replaced the kernel
jet can check if
    "/sys/devices/virtual/misc/sun4i-gpio/pin/pg9"
exists and if
    "echo '1' > /sys/devices/virtual/misc/sun4i-gpio/pin/pg9"
will switch on the green LED?

Thank you
Nate

[1]
http://wiki.debian.org/FreedomBox/UniLeipzigPractical#Know_if_the_System_is_On_or_Off
[2] https://gist.github.com/4053244
[3] http://en.wikipedia.org/wiki/GPIO, http://de.wikipedia.org/wiki/GPIO