Genode on Android

[Alif Hamka]

I've read in this page that android has been able to put on top of genode
http://genode.org/news/android-on-top-of-genode

I'm really interested about this, furthermore I'm really interested in
everything about genode that used to build embedded OS (such as
pandaboard and android).

Is there any documentation or tutorial about making android on top of genode?

In the webpage above written "For those of you who are eager to
experiment with L4Android on Genode, please find further information
at the top-level README file of the ports-foc repository" but when I
clicked the link I was redirected to
http://sourceforge.net/p/genode/code/HEAD/tree/ instead. So I don't
know where I should start my work

Best Regards
Alif