RE: Current genode release

2011-06-06 Thread Chen Tian - SISA
Hi Christian, Problem is solved. Thank you! Chen -Original Message- From: Christian Helmuth [mailto:christian.helm...@genode-labs.com] 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

Re: Current genode release

2011-06-04 Thread Christian Helmuth
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

RE: Current genode release

2011-06-02 Thread Chen Tian
01, 2011 9:41 PM To: genode-main@lists.sourceforge.net Subject: Re: Current genode release Hi Daniel, > Foc_cpu_session to build. Question is, how do you introduce a new type > (e.g., struct) to be used as part of an RPC signature? Do you have to > somewhere say how to marshal/unmarsha

Re: Current genode release

2011-06-01 Thread Norman Feske
Hi Daniel, > Foc_cpu_session to build. Question is, how do you introduce a new type > (e.g., struct) to be used as part of an RPC signature? Do you have to > somewhere say how to marshal/unmarshal that type? there are no special precautions needed. Any type can be used as RPC argument as long

Re: Current genode release

2011-06-01 Thread Daniel Waddington
Hi Stefan, OK, we got it to build but could get our additional methods on Foc_cpu_session to build. Question is, how do you introduce a new type (e.g., struct) to be used as part of an RPC signature? Do you have to somewhere say how to marshal/unmarshal that type? Thanks Daniel On 06/01/20

Re: Current genode release

2011-06-01 Thread Stefan Kalkowski
Hi Daniel, the convenient integration of the Fiasco.OC kernel and bootstrap tools into the Genode build system, introduced with Genode's release 11.05, slightly changed some build system internals. If you want to use the unmodified kernel version, the current release is laid out to run on top of,