Project Link Usage Files
LEDE Project https://www.lede-project.org/ Base system
OpenWRT http://openwrt.org Base system
Mipsrx http://sourceforge.net/projects/mipsrx/ On device download application
GCC https://gcc.gnu.org/ Toolchain for building applications
Code Sourcery GCC MIPS https://sourcery.mentor.com/GNUToolchain/subscription3537?lite=MIPS Windows GCC toolchain
Buildroot http://buildroot.uclibc.org/ Linux GCC tolchain
Arduino IDE config https://www.arduino.cc/en/Main/Software/ Arduino support, modified files available here

Any modified GPL code is provided on product pages. Visit NixCore X1 product page for the latest.