skalk/genode — comment on commit a13ddab083e862a80a221046b99ddda5636b1fc3
File:  line 0
By nfeske:

Can't we somehow get away without the nasty reinterpret_cast? If we have a dataspace capability, why would we need to cast to a 'Dataspace_component' anyway. Aren't those types compatible with each other?