mindboards/ev3sources — pull request #7 by schodet (2013-08-04 04:37:22+00:00)
Title: Kernel cleanups

Here is some cleanups for the kernel tree. See issue #2.