nfeske/genode — comment on commit 5bbf505c892f3faf7cb0a99393b6df14f4e91317
File: doc/gsoc_2012.txt line 168
By m-stein:

"to Genode and provide a" !?