On 6 May 2014 22:00, yan cui <ccuiyyan@gmail.com> wrote:

But, when I echo $cputypes,

it is 386!

where the hardware can do either, the kernel you boot chooses the cputype to suit itself.

/sys/src/9/pc is only 386 (ie, 32-bit x86). another directory is used for amd64 (ie, 64-bit x86).

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.