Survey of operating systems by Holcombe, Jane, Holcombe, Charles

UNIX the textbook by Sarwar, Syed Mansoor, Koretsky, Robert

Operating systems internals and design principles by Stallings, William

Modern operating systems by Tanenbaum, Andrew S. 1944-, Bos, Herbert

SIGMETRICS 2014 proceedings of the 2014 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, June 16-20, 2014, Austin, Texas, USA

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

Available for University of the Philippines Diliman College of Engineering via CRCnetBASE. Click here to access
Also available remotely for University of the Philippines Diliman College of Engineering via CRCnetBASE. Click here to access thru EZproxy

Embedded operating systems a practical approach by Holt, Alan, Huang, Chi-Yu

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Understanding operating systems by McHoes, Ann McIver

Operating system concepts by Silberschatz, Abraham

Distributed systems principles and paradigms by Tanenbaum, Andrew S. 1944-