The art of Linux kernel design illustrating the operating system design principle and implementation by Lixiang, Yang, Wenfeng, Liang, Dazhou, Chen, Tianhou, Liu, Ruobing, Wu, Qi, Song, Ke, Feng