genodelabs/genode — pull request #254 by alex-ab (2012-06-21 13:19:15+00:00)
Title: NOVA: minor cleanups

With the patch series more test run scripts succeed.