[PLUG] Processors supported by current 64 bit Debian release?

[Richard Owlett]

I have three machines whose processors are 64 bit capable.
Processors identified by running lscpu:

Machine 1:
Architecture:    i686
Model name:    Intel(R) Core(TM) i5 CPU       M 540  @ 2.53GHz

Machine 2:
Architecture:    x86_64
Model name:    Intel(R) Core(TM)2 Duo CPU     T7300  @ 2.00GHz

Machine 3:
Architecture:    i686
Model name:    Pentium(R) Dual-Core  CPU      E5300  @ 2.60GHz

Will the OS linked to by https://www.debian.org/ run on all three?
[For historical reasons I currently run 32 bit on all.]

TIA