I seem to recall that someone had been working on a Linux AMD64 target. I'd like to get that working and would be interested in any progress that's been made in that direction.