> >All the cases I've seen have been for 32-bit kernels. A 64-bit PDA kernel seems like a wee tiny bit of overkill > > I've been asked about running 64 bit binaries on a VR4121. Unless you're doing encryption in an embedded device, then 64 bit regs are quite nice...