<div style="line-height:1.7;color:#000000;font-size:14px;font-family:Arial"><pre>Hello <span style="line-height: 1.7;">Stefan,</span><br>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.

<div>Yes, I'am sure. I have not complied the file "ports-foc/src/<span style="line-height: 1.7;">drivers/genode_balloon.c", and I also solv</span>ed the problem about </div><div>naming conflict of function "__cxa_finalize()". So l4android compilation can be accomplished.</div></pre></div><br><br><span title="neteasefooter"><span id="netease_mail_footer"></span></span>