embeddedprojects/gnublin-distribution — pull request #1 by bwoester (2013-06-25 02:43:29+00:00)
Title: Using kernel repositories from github

Cherry-picked relevant commits from my larger branch "improve-support-package-script" so you don't have merge in all my changes. However, I didn't find time yet to test this new branch...