l4android update

[longjks]

hi,
I am working on genode-13.02, from the source code, I can find that it used the l4android 3.5.
>From the l4android.org, I can see that l4android has update to 3.6. Do you have plan to update l4android to 3.6 in the next
version of genode?






-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20130416/de5d2f92/attachment.html>