Error for l4android with Genode 14.11

li94575 li94575 at ...176...
Mon Feb 2 14:43:31 CET 2015

Hello Stefan,
At 2015-02-02 18:46:58, "Stefan Kalkowski" <stefan.kalkowski at ...1...> wrote:
>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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list