It's proprietary, but they kit bashed a bunch of existing components (iirc, Android's surface flinger, the Nvidia embedded linux drivers, and the freebsd network stack)