Hi Christian,
Problem is solved. Thank you!
Chen
-----Original Message----- From: Christian Helmuth [mailto:christian.helmuth@...1...] Sent: Saturday, June 04, 2011 1:59 PM To: genode-main@lists.sourceforge.net Subject: Re: Current genode release
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, assigning a specialized capability (e.g., CapabilityInput::Session) to a base-typed capability (e.g., Capability<Session>) is always valid. For the opposite case, a static cast is needed. For capabilities, this cast is supported by
static_cap_cast<INTERFACE>(cap)
HTH