Files
genode/doc/gsoc_2012.txt