mindboards/ev3dev — pull request #11 by dlech (2013-11-13 04:42:09+00:00)
Title: add script for fetching toolchain

this downloads and installs the toolchain in the correct place so that ./build_kernel can actually compile the kernel