Comment by jojobas

Setting up the toolchain that's not Arduino IDE is a prohibitively high bar for a school child that wants to blink leds.