genodelabs/genode — pull request #342 by skalk (2012-08-30 09:10:49+00:00)
Title: Fiasco.OC: check invoked capability (fix #341).

Let the Fiasco.OC base platform succeed the cap_integrity run-script meaning
that it is not feasible anymore to fake a capability by using a valid one
together with a guessed local_name.