genodelabs/genode — pull request #256 by alex-ab (2012-06-25 13:14:16+00:00)
Title: NOVA: set of stabibility patches

Following patch series fixes several bugs triggered running the signal testcase of Genode.