> they are mostly CS students and their professors IIRC.

Genode Labs is a commercial company, founded in 2008 as a German GbR and transformed in 2010 into a German GmbH. The founders stem from academic research background.

http://www.genode-labs.com/company/index?lang=en