* Tru64 support
* Ethernet (Link, NSGIGE, Sinic) device support
* PCI device support
+* Checkpoint framework
+* Configuration system
Steven K. Reinhardt
-----------------------
* PC sampling
* Deprecated detailed CPU
* Binary Loading
+* Configuration system
Ali G. Saidi
-----------------------
Lisa R. Hsu
-----------------------
* DP83820 NIC device model
-* Kernel stats stuff
-* Linux Dist disk image building
+* Kernel stats
+* Linux Dist disk image building (current)
Gabriel Black
-----------------------
-----------------------
* IDE controller/disk model
* PCI devices interface
-* Linux Dist disk image building
+* Linux Dist disk image building (deprecated)
Erik G. Hallnor
-----------------------
* Caches
* Trace reader support
+* Checkpoint framework
Steve E. Raasch
-----------------------