Toolchain to build programs for rpi from a 64 bits host.