The text for the course is available at the campus bookstore. It is:
William Stallings, Operating Systems: Internals and Design Principles, 7th Edition, Prentice Hall, 2011.
