a per-CPU interrupt counter for clock, device, and interprocessor interrupts.
tech-kern and now documented in evcnt(9).
AXPpci33 machines + power management and a Cirrus PCI-PCMCIA controller. There is currently no support for the power management facilities, and the PCI-PCMCIA controller driver needs some work, but this should boot and run from disk.