The following are software we implemented and used in our Testbed.
Contains the VM implementing the SM Node Architecture. This VM runs on Intel x86 and iPAQ StrongArm platforms. Click here to download
The following are "unmodified" software we used for our testbed, listed here for convenience.
GCC ARM's Toolchain for iPAQ (egcs 3.2.3, glibc 2.3.1, and binutils 2.13.2)
Opie jffs2 root for iPAQ (linux-2.4.18-rmk3-hh24 and familiar v0.7-rc3)
JDK 1.2.2 for compiling SM/KVM classes
You will also need our modified (for microbenchmark) iPAQ Linux kernel linux-2.4.18-rmk3-hh24 for building the GCC ARM's Toolchain.