Unix System Programming with Standard ML. Anthony L. Shipman.
Xavier Leroy and Didier Rémy.
html version incl. source code.
"This is the definitive reference book for any serious or professional UNIX systems programmer. Rago has updated and extended the classic Stevens text while keeping true to the original. The APIs are illuminated by clear examples of their use. He also mentions many of the pitfalls to look out for when programming across different UNIX system implementations and points out how to avoid these pitfalls using relevant standards such as POSIX 1003.1, 2004 edition and the Single UNIX Specification, Version 3." --Andrew Josey, Director, Certification, The Open Group, and Chair of the POSIX 1003.1 Working Group
The Lions Book. John Lions. "After 20 years, this is still the best expostion of the workings of a 'real' operating system." --Ken Thompson
arnold willemer.
bob ducharme about big iron operating systems.
