Genode OS is a tool kit for building highly secure special-purpose OS