mindboards/ev3dev — pull request #17 by dlech (2013-11-27 20:03:01+00:00)
Title: Gpio leds

Here are the kernel config changes that go with mindboards/ev3dev-kernel#5