Capability wrangling made easy: debugging on a microkernel with valgrind

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]

@inproceedings{PohleDRH10,
  title = {Capability wrangling made easy: debugging on a microkernel with valgrind},
  author = {Aaron Pohle and Björn Döbel and Michael Roitzsch and Hermann Härtig},
  year = {2010},
  doi = {10.1145/1735997.1736001},
  url = {http://doi.acm.org/10.1145/1735997.1736001},
  tags = {debugging},
  researchr = {https://researchr.org/publication/PohleDRH10},
  cites = {0},
  citedby = {0},
  pages = {3-12},
  booktitle = {Proceedings of the 6th International Conference on Virtual Execution Environments, VEE 2010, Pittsburgh, Pennsylvania, USA, March 17-19, 2010},
  editor = {Marc E. Fiuczynski and Emery D. Berger and Andrew Warfield},
  publisher = {ACM},
  isbn = {978-1-60558-910-7},
}