Capability wrangling made easy: debugging on a microkernel with Valgrind (0)

by A Pohle, B Döbel, M Roitzsch, H Härtig
Venue:in VEE ’10: Proceedings of the 6th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments