Is there a 64 bit port for archlinux kernel? Can 32 bit binaries work on the 64 bit box?
Arch64 in wiki
Yes there is a stock kernel built in 64 ;-)
Now if only this distro had more people, we could officially incorporate the x86-64 branch into the distro...