Hi, I'd like to know if ARM Jazelle aceleration is suported by Kaffe with Linux. What Linux should I use? Thanks, Luis Verissimo