HelenOS kernel (Spartan) as a Genode platform

[Paul Dufresne]

I believed that an HelenOS GoogleSummerOfCode (GSOC) project for 2012 was:
https://www.google-melange.com/gsoc/project/google/gsoc2012/kurbel/20001
http://trac.helenos.org/ticket/419

Basically no GSOC 2012 projects was accepted for Genode, but it was
for the HelenOS.
So Tobias Börtitz did work on that during summer of 2012.

Now, after reading his last report (
http://comments.gmane.org/gmane.os.helenos.devel/740 ) I understand
his work was incomplete.
(Seen a bit other comments by searching "HelenOS as a Genode platform"
on Google )

I suppose he did not continue the project after the GSOC 2012.

Does his branch (work) is publicly available and if so where?
I took a look to: https://github.com/genodelabs/genode/network but I
don't seems to find it there.

I don't really expect to continue his work, but before discovering
Genode, I was reading quite a bit about HelenOS and I'd like to be
able to peek at this work.