Am I 32-bit, or 64-bit?

[Ken D'Ambrosio]

On Thu, 05 Apr 2012 13:01:02 -0400 "Michael ODonnell" 
> >Well... here's my /usr/src/linux/arch directory:
>     [...]
> >avr32     frv    Kconfig  mips        powerpc   sparc  x86
> 
> 
> Wooops!  dainbramage...  I meant to say that my arch command
> reports i686 but (as you've indicated) that's not one of
> the options.  This is what works for me:
> 
>    ARCH=x86 make V=1

Now why didn't *I* think of that?  ;-)

In the meantime... is there any possible downside of having a 64-bit kernel in
a 32-bit userspace?  Everything -- drivers, camera, apps -- seems just ducky.

Thanks!

-Ken