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