Capability wrangling made easy: debugging on a microkernel with valgrind. - Aaron Pohle; Björn Döbel; Michael Roitzsch; Hermann Härtig (VEE, 2010)