The DOpE widget set for the Genode OS Framework