Gateware / Firmware / BuildRoot to run linux on iCE40 / iCEBreaker - View it on GitHub