Release Notes: This release is for Linux kernel 3.7. It includes bugfixes and updates.
Utilities for diagnostics and configuration of PCI devices.
A tool to print your working directory in a reduced form.