free, modifiable textbook on operating systems principles (Creative Commons)