This is an Intel GX+ server board we just setup last night.
Jeff Northon

pimple% dmesg
NetBSD 1.5_ALPHA2 (GENERIC) #0: Fri Sep 15 13:29:27 CEST 2000

tron@colwyn.zhadum.de:/src/NetBSD-1.5/src/sys/arch/i386/compile/GENERIC
cpu0: Intel Pentium III (E) (686-class)
total memory = 255 MB
avail memory = 231 MB
using 3296 buffers containing 13184 KB of memory
BIOS32 rev. 0 found at 0xfd7e3
mainbus0 (root)
pci0 at mainbus0 bus 0: configuration mode 1
pci0: i/o space, memory space enabled
pchb0 at pci0 dev 0 function 0
pchb0: Intel product 0x71a0 (rev. 0x00)
ppb0 at pci0 dev 1 function 0: Intel product 0x71a1 (rev. 0x00)
pci1 at ppb0 bus 1
pci1: i/o space, memory space enabled
ppb1 at pci1 dev 15 function 0: Digital Equipment product 0x0023
(rev. 0x06)
pci2 at ppb1 bus 2
pci2: i/o space, memory space enabled
ahc1 at pci0 dev 12 function 0
ahc1: interrupting at irq 11
ahc1: aic7896/97 Wide Channel A, SCSI Id=7, 16/255 SCBs
scsibus0 at ahc1 channel 0: 16 targets, 8 luns per target
ahc2 at pci0 dev 12 function 1
ahc2: interrupting at irq 11
ahc2: aic7896/97 Wide Channel B, SCSI Id=7, 16/255 SCBsbiomask ff65
netmask ff65 ttymask ffe7
scsibus0: waiting 2 seconds for devices to settle...
scsibus1: waiting 2 seconds for devices to settle...
ahc2: target 0 using 16bit transfers
ahc2: target 0 synchronous at 20.0MHz, offset = 0x3f
ahc2: target 0 using tagged queuing
sd0 at scsibus1 target 0 lun 0: <IBM, DDYS-T09170N, S80D> SCSI3 0/direct
fixed
sd0: 8748 MB, 15110 cyl, 3 head, 395 sec, 512 bytes/sect x 17916240
sectors
ahc2: target 1 using 16bit transfers
ahc2: target 1 synchronous at 20.0MHz, offset = 0x3f
ahc2: target 1 using tagged queuing
sd1 at scsibus1 target 1 lun 0: <IBM, DDYS-T18350N, S80D> SCSI3 0/direct
fixed
sd1: 17501 MB, 15110 cyl, 6 head, 395 sec, 512 bytes/sect x 35843670
sectors
ahc2: target 2 using 16bit transfers
ahc2: target 2 synchronous at 20.0MHz, offset = 0x3f
ahc2: target 2 using tagged queuing
sd2 at scsibus1 target 2 lun 0: <IBM, DDYS-T18350N, S80D> SCSI3 0/direct
fixed
sd2: 17501 MB, 15110 cyl, 6 head, 395 sec, 512 bytes/sect x 35843670
sectors
ahc2: target 4 using 16bit transfers
ahc2: target 4 synchronous at 20.0MHz, offset = 0x3f
ahc2: target 4 using tagged queuing
sd3 at scsibus1 target 4 lun 0: <IBM, DDYS-T18350N, S80D> SCSI3 0/direct
fixed
sd3: 17501 MB, 15110 cyl, 6 head, 395 sec, 512 bytes/sect x 35843670
sectors
sd1: no disk label
sd2: no disk label
sd3: no disk label
boot device: sd0
root on sd0a dumps on sd0b
root file system type: ffs
sd1: no disk label
sd1: no disk label
sd1: no disk label
sd1: no disk label
sd1: no disk label
sd1: no disk label
pimple%  


> > - As a specific example, are the core chipsets on the Intel L440GX+
> >   and/or on the ASUS KT133-based boards supported?  How would I be
> >   able to determine that from the available NetBSD docs?