We've moved! The ev3dev-kernel repository has relocated to [https://github.com/ev3dev/ev3dev-kernel] to consolidate the project into one well-known area. Thanks to the Mindboards team for hosting us up until now!