Library of debugging utilities for seL4.