scripts for cross-compiling ev3dev kernel and boot script - View it on GitHub