Hi,
could you please provide more context (names of applications you
build, command line executed, verbose build output)? I fear we cannot
help with that little information.
Regards
--
Christian Helmuth
Genode Labs
http://www.genode-labs.com/ · http://genode.org/ · /ˈdʒiː.nəʊd/
Genode Labs Gmb
Hi,
please refer to the paragraph about "Casting capability types" in the
release notes for 11.05. These state:
For typed capabilities, the same type conversion rules apply as for
pointers. In fact, a typed capability pretty much resembles a typed
pointer, pointing to a remote object. Hence
