genodelabs/genode — pull request #259 by skalk (2012-06-27 09:41:42+00:00)
Title: Staging

Make buildbot happy again, by fixing autopilot problems for foc_pbxa9 and fox_x86_64