Layered and separated operating system kernel
XIE Jun, ZHANG Tao, ZHANG Shi-geng, HUANG Hao
Journal of Computer Applications . 2005, (06): 1286 -1289 .  DOI: 10.3724/SP.J.1087.2005.1289