Capability wrangling made easy: debugging on a microkernel with valgrind.

Aaron Pohle, Bjrn Dbel, Michael Roitzsch, Hermann Hrtig

Browse the full VEE paper archive.