> > 	Has anyone tried yet to run the "amd64" port on either a XEON or
> > a Pentium 4 EMT (i.e. Intel's flavor of x86_64 - they do work w/ the MS
> > beta software, and according to source internal to MS, both the prototypes
> > with and without the added 'NX' bit/capability work for them, just no stack
> > protection without the 'NX' bit - Also, the prototypes withut the 'NX' bit
> > are in 478 pin packages and will never be released)?
>
> It should "just work", but I haven't had a chance to try it myself..

I can hereby vouch for it working, save for the extra spewage
right after it detects the (serial) console port.

I'm currently in the process of installing the amd64 port on an
IBM x306 with a 3.2GHz P4 processor.  The dmesg output from the
install cd-rom from 2.0 follows:

Copyright (c) 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004
    The NetBSD Foundation, Inc.  All rights reserved.
Copyright (c) 1982, 1986, 1989, 1991, 1993
    The Regents of the University of California.  All rights reserved.

NetBSD 2.0 (INSTALL) #0: Tue Nov 30 21:57:20 UTC 2004
      builds@build:/big/builds/ab/netbsd-2-0-RELEASE/amd64/200411300000Z-obj/big/builds/ab/netbsd-2-0-RELEASE/src/sys/arch/amd64/compile/INSTALL
total memory = 511 MB
avail memory = 485 MB
mainbus0 (root)
mainbus0: Intel MP Specification (Version 1.4) (IBM      J/P         )
cpu0 at mainbus0: apid 0 (boot processor)
cpu0:               Intel(R) Pentium(R) 4 CPU 3.20GHz, 3200.68 MHz
cpu0: features: bfebfbff<FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR>
cpu0: features: bfebfbff<PGE,MCA,CMOV,PAT,PSE36,MPC,B21,MMXX,MMX>
cpu0: features: bfebfbff<FXSR,SSE,SSE2,B27,B28,LONG,3DNOW>
cpu0: L2 cache 1 MB 64B/line 8-way
cpu0: calibrating local timer
cpu0: apic clock running at 200 MHz
cpu0: 32 page colors
mpbios: bus 0 is type PCI   
mpbios: bus 1 is type PCI   
mpbios: bus 2 is type PCI   
mpbios: bus 3 is type PCI   
mpbios: bus 4 is type PCI   
mpbios: bus 5 is type ISA   
ioapic0 at mainbus0 apid 2 (I/O APIC)
ioapic0: pa 0xfec00000, version 20, 24 pins
ioapic1 at mainbus0 apid 3 (I/O APIC)
ioapic1: pa 0xfec10000, version 20, 24 pins
pci0 at mainbus0 bus 0: configuration mode 1
pci0: i/o space, memory space enabled, rd/line, rd/mult, wr/inv ok
pchb0 at pci0 dev 0 function 0
pchb0: vendor 0x8086 product 0x2578 (rev. 0x02)
ppb0 at pci0 dev 3 function 0: vendor 0x8086 product 0x257b (rev. 0x02)
pci1 at ppb0 bus 2
pci1: i/o space, memory space enabled
wm0 at pci1 dev 1 function 0: Intel i82547GI 1000BASE-T Ethernet, rev. 0
wm0: interrupting at ioapic0 pin 18 (irq 5)
wm0: Ethernet address 00:0d:60:84:8e:2a
igphy0 at wm0 phy 1: Intel IGP01E1000 Gigabit PHY, rev. 0
igphy0: 10baseT, 10baseT-FDX, 100baseTX, 100baseTX-FDX, 1000baseT, 1000baseT-FDX, auto
ppb1 at pci0 dev 28 function 0: vendor 0x8086 product 0x25ae (rev. 0x02)
pci2 at ppb1 bus 3
pci2: i/o space, memory space enabled, rd/line, wr/inv ok
vendor 0x1000 product 0x0628 (Fiber Channel serial bus) at pci2 dev 1 function 0 not configured
uhci0 at pci0 dev 29 function 0: vendor 0x8086 product 0x25a9 (rev. 0x02)
uhci0: interrupting at ioapic0 pin 16 (irq 3)
usb0 at uhci0: USB revision 1.0
uhub0 at usb0
uhub0: vendor 0x8086 UHCI root hub, class 9/0, rev 1.00/1.00, addr 1
uhub0: 2 ports with 2 removable, self powered
uhci1 at pci0 dev 29 function 1: vendor 0x8086 product 0x25aa (rev. 0x02)
uhci1: interrupting at ioapic0 pin 19 (irq 11)
usb1 at uhci1: USB revision 1.0
uhub1 at usb1
uhub1: vendor 0x8086 UHCI root hub, class 9/0, rev 1.00/1.00, addr 1
uhub1: 2 ports with 2 removable, self powered
vendor 0x8086 product 0x25ab (miscellaneous system, revision 0x02) at pci0 dev 29 function 4 not configured
vendor 0x8086 product 0x25ac (interrupt system, interface 0x20, revision 0x02) at pci0 dev 29 function 5 not configured
vendor 0x8086 product 0x25ad (USB serial bus, interface 0x20, revision 0x02) at pci0 dev 29 function 7 not configured
ppb2 at pci0 dev 30 function 0: vendor 0x8086 product 0x244e (rev. 0x0a)
pci3 at ppb2 bus 4
pci3: i/o space, memory space enabled
vga0 at pci3 dev 2 function 0: vendor 0x1002 product 0x5159 (rev. 0x00)
wsdisplay0 at vga0 kbdmux 1
wsmux1: connecting to wsdisplay0
wm1 at pci3 dev 3 function 0: Intel i82541GI 1000BASE-T Ethernet, rev. 0
wm1: interrupting at ioapic0 pin 22 (irq 11)
wm1: Ethernet address 00:0d:60:84:8e:2b
igphy1 at wm1 phy 1: Intel IGP01E1000 Gigabit PHY, rev. 0
igphy1: 10baseT, 10baseT-FDX, 100baseTX, 100baseTX-FDX, 1000baseT, 1000baseT-FDX, auto
pcib0 at pci0 dev 31 function 0
pcib0: vendor 0x8086 product 0x25a1 (rev. 0x02)
piixide0 at pci0 dev 31 function 2
piixide0: Intel 6300ESB Serial ATA Controller (rev. 0x02)
piixide0: bus-master DMA support present
piixide0: primary channel configured to compatibility mode
piixide0: primary channel interrupting at ioapic0 pin 14 (irq 14)
atabus0 at piixide0 channel 0
piixide0: secondary channel configured to compatibility mode
piixide0: secondary channel interrupting at ioapic0 pin 15 (irq 15)
atabus1 at piixide0 channel 1
vendor 0x8086 product 0x25a4 (SMBus serial bus, revision 0x02) at pci0 dev 31 
function 3 not configured
isa0 at pcib0
com0 at isa0 port 0x3f8-0x3ff irq ^@^@<B9><CD>^@^@<AA><AA><82>
^@^@<BA><BD><C9><AD><A5><B9><9D>^@<99><A5><99><BD>^@^@^Z<BD><B5>^@^@^B^Z<BD><B9>
<CD><BD><B1><95>^@^@<FE>
pckbc0 at isa0 port 0x60-0x64
pckbd0 at pckbc0 (kbd slot)
pckbc0: using irq 1 for kbd slot
wskbd0 at pckbd0 mux 1
wskbd0: connecting to wsdisplay0
pms0 at pckbc0 (aux slot)
pckbc0: using irq 12 for aux slot
wsmouse0 at pms0 mux 0
pcppi0 at isa0 port 0x61
sysbeep0 at pcppi0
fdc0 at isa0 port 0x3f0-0x3f7 irq 6 drq 2
pci4 at mainbus0 bus 1
pci4: i/o space, memory space enabled, rd/line, rd/mult, wr/inv ok
ioapic1: enabling
ioapic0: enabling
fd0 at fdc0 drive 0: 1.44MB, 80 cyl, 2 head, 18 sec
md0: internal 2304 KB image area
atapibus0 at atabus0: 2 targets
cd0 at atapibus0 drive 0: <LG CD-ROM CRN-8245B, , 1.16> cdrom removable
cd0: 32-bit data port
cd0: drive supports PIO mode 4, DMA mode 2, Ultra-DMA mode 2 (Ultra/33)
cd0(piixide0:0:0): using PIO mode 4, Ultra-DMA mode 2 (Ultra/33) (using DMA data transfers)
wd0 at atabus1 drive 0: <Maxtor 6Y080M0>
wd0: drive supports 16-sector PIO transfers, LBA addressing
wd0: 76324 MB, 155072 cyl, 16 head, 63 sec, 512 bytes/sect x 156312576 sectors
wd0: 32-bit data port
wd0: drive supports PIO mode 4, DMA mode 2, Ultra-DMA mode 6 (Ultra/133)
wd0(piixide0:1:0): using PIO mode 4, Ultra-DMA mode 6 (Ultra/133) (using DMA data transfers)
boot device: fd0
root on md0a dumps on md0b
root file system type: ffs