Hello Stefan,
At 2015-02-02 18:46:58, "Stefan Kalkowski" <stefan.kalkowski@...1...> wrote:
>Hi,
>
>I wonder that it compiles for you using Genode's latest release? The
>recent e-mail by Zachary showed, and I can confirm that l4android
>doesn't even compile.

Yes, I'am sure. I have not complied the file "ports-foc/src/drivers/genode_balloon.c", and I also solved the problem about 
naming conflict of function "__cxa_finalize()". So l4android compilation can be accomplished.