Reference manual for the Genode OS Framework