Re: Does my processor support 64bit kernel?

["Jonathan A. Kollasch" <jakllsch%kollasch.net@localhost>]

On Tue, Feb 11, 2014 at 11:13:23PM +0530, Mayuresh wrote:
> I am using NetBSD i386 on my desktop. Just want to cross check whether my
> processor is 64bit and whether I could use 64 bit system instead of 32
> bit.
> 
> 
> dmesg describes the processor as follows:
> 
> cpu0 at mainbus0 apid 0: Intel(R) Pentium(R) D CPU 3.00GHz, id 0xf65
> cpu1 at mainbus0 apid 1: Intel(R) Pentium(R) D CPU 3.00GHz, id 0xf65

This is probably a Pentium D 925 (SL9KA).

http://www.cpu-world.com/CPUs/Pentium_D/Intel-Pentium%20D%20925%20HH80553PG0804MN%20%28BX80553925%29.html

http://ark.intel.com/products/27517/Intel-Pentium-D-Processor-925-4M-Cache-3_00-GHz-800-MHz-FSB