Discontinued. Easy kernel building for the Raspberry Pi - View it on GitHub