There are a number of Coldfire and Dragonball (Motorola) K Vm implementations; there is also an ARM one which I found through the ARM home page when I was looking for a compact embedded JVM solution for a telephone a couple of years ago. I am looking at KVM for Linux with a Java Micro Card-like class set (NOT J2ME, which is considerably bigger). The KVM is clean-roomed implementation from the spec, with MC class restrictions. You should be able to use the SUN ME verifier on code you have written to target the KVM on Linux.