Cloud Kernel - an open-source Linux kernel originated by Alibaba Operating System Team - View it on GitHub