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?