ssumpf/genode — pull request #1 by ssumpf (2014-11-18 14:05:41+00:00)
Title: Nova debug

Rebased to current master