Compiler toolchain for the XEOS Operating System. - View it on GitHub