The documentation for genode OS framework is a full free book (creative commons) http://genode.org/documentation/release-notes/15.05#Comprehe...