L4Re: C++ or DICE for IPC

[Norman Feske]

Hello,

if you are interested in getting an insight into the decision of
removing the IDL compiler from the user-land tool chain (in both Genode
and L4re), you may refer to my study of the subject:

  "A Case Study on the Cost and Benefit of Dynamic RPC Marshalling
   for Low-Level System Components"

  http://genode-labs.com/publications/dynrpc-2007.pdf

As far as I know, the integration with Ada would actually be quite
straight forward because the class layout of Ada is compatible with C++.
This enables you to call virtual C++ functions (the IPC stub code) from
Ada code.

Regards
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

http://www.genode-labs.com · http://genode.org

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