Current genode release

[Chen Tian - SISA]

Hi Christian,

Problem is solved. Thank you!

Chen

-----Original Message-----
From: Christian Helmuth [mailto:christian.helmuth at ...1...] 
Sent: Saturday, June 04, 2011 1:59 PM
To: genode-main at 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., Capability<Input::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
-- 
Christian Helmuth
Genode Labs

http://www.genode-labs.com/ · http://genode.org/ · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

------------------------------------------------------------------------------
Simplify data backup and recovery for your virtual environment with vRanger.
Installation's a snap, and flexible recovery options mean your data is safe,
secure and there when you need it. Discover what all the cheering's about.
Get your free trial download today. 
http://p.sf.net/sfu/quest-dev2dev2 
_______________________________________________
Genode-main mailing list
Genode-main at lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main