Hardware-based performance monitoring interface for Linux
