if tlmgr sees arm, it should ask 'do you want raspbian binaries? Absolutely not going to do that :). Anyway, what matters is not the uname output, but config.guess output. Can you please run config.guess on the various machines and see if it distinguishes? That is the appropriate place for the identification job to be done. k