It is a platform to write your own OS kernel,its based on Linux Kernel 3.9.4 source code. - View it on GitHub