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.