On 6 May 2014 22:47, Charles Forsyth <charles.forsyth@gmail.com> wrote:
you can use the 386 kernel to compile and install the /amd64 environment though,
which you'll need to do before running an amd64 kernel.

more precisely, do

cd /sys/src
objtype=amd64 mk install