The hardware models are based on RSIM Version 1.0 developed at Rice University under the direction of Sarita Adve and now maintained at the University of Illinois at Urbana Champaign.

Additional contributions were made by Lixin Zhang and Branden Moore .

The Lamix kernel is partly derived from NetBSD 1.4C source code.

This work was supported in part by the Defense Advanced Research Projects Agency under agreement number N0003995C0018 and F306029810101, by an NSF Research Infrastructure Grant Number CDA9623614 and by a Graduate Research Fellowship from the University of Utah Graduate School for the academic year 2000/2001.