Genode on Android

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