Alguém conhece algum livro de sistemas operacionais (não precisa ser em português) com uma licença livre? gpl, fdl, CC, ...?