Aaron Pohle, Björn Döbel, Michael Roitzsch, Hermann Härtig. Capability wrangling made easy: debugging on a microkernel with valgrind. In Marc E. Fiuczynski, Emery D. Berger, Andrew Warfield, editors, Proceedings of the 6th International Conference on Virtual Execution Environments, VEE 2010, Pittsburgh, Pennsylvania, USA, March 17-19, 2010. pages 3-12, ACM, 2010. [doi]
Abstract is missing.