Documentation for Honeycomb, a real-time systems debugging platform