Hi Sameer, No Rosie has 32-bit Tegra K1 CPUs. Rosie is made up of 16 of these devkits: https://developer.nvidia.com/jetson-tk1. The SoftIron hardware hasn't arrived yet. We've ordered two of their motherboards, which each have a AppliedMicro X-Gene APM883208 8c 2.4Ghz 64-bit CPU. I don't have an ETA yet for this hardware. They seem to be pretty delayed in getting orders out. Ben

On Oct 22, 2014, at 1:36 PM, Sameer Shende <[email protected]> wrote:

Hi Ben, Is the rosie, Tegra K1 based system at JLSE running a 64 bit ARM CPU? Is this the same as the SoftIron system you were referring to? I am looking forward to porting TAU to 64 bit ARM. Thanks! - Sameer