The main textbooks of the course are:

      Operating System Concepts, Avi Silberschatz et al., John Wiley & Sons, Inc., 2018 (webpage).


      Linux System Programming, Robert Love, O'Relly Media, 2013.


      The Linux Programming Interface, Michael Kerrisk, No Starch Press, 2010 (webpage).



The other book we use mainly in Task4:

      Operating Systems: Three Easy Pieces, Remzi H. Arpaci-Dusseau et al., Arpaci-Dusseau Books, 2018 (webpage).