Is this a Samsung machine?

[Mouse <mouse%Rodents-Montreal.ORG@localhost>]

netbsd.org/ports/alpha/models.html says, in the section on EB164-family
machines, various things about "Samsung PC164LX motherboards".

I have an Alpha machine.  The case is missing its front panel, but it
has a Samsung sticker on the back.  But it is not clear to me whether
the board is a Samsung board.  It has six expansion slots; in order,
starting with the one nearest the RAM, they are

- 32-bit PCI
- 32-bit PCI
- 64-bit PCI
- 64-bit PCI
- ISA
- ISA

It has four RAM slots, spaced so as to appear as two pairs (only one
pair has anything plugged in at the moment).  It also has an Intel
"PCIset" "S82378ZB".  The CPU has a headsink-with-fan, so I can't read
any markings on it, but the socket has "499 Socket" molded into the
plastic.  It has a PC-style CR2032 battery, next to the back-panel end
of one of the PCI slots.

There is a backplane with three, I think, SCA sockets, one of which has
a disk plugged into it.  The board also has what could be an IDE socket
or could be a narrow SCSI socket (I didn't look closely enough to be
sure which), with a cable, but there is nothing on the other end of the
cable.  The SCSI connection for the SCA backplane comes from a PCI
card.  There are three PCI cards in it: the aforementioned SCSI, a 3Com
Ethernet, and a video card.

At power-up, the ROM code reports

*** keyboard not plugged in...
ff.fe.fd.fc.fb.fa.f9.f8.f7.f6.f5.f3.f2.f1.f0.
ef.ee.ed.probing hose 0, PCI
probing PCI-to-ISA bridge, bus 1
bus 0, slot 9 -- pka -- Adaptec AIC-7880
bus 0, slot 11 -- dqa -- CMD PCI0646 IDE
bus 0, slot 11 -- dqb -- CMD PCI0646 IDE
ec.f4.eb.ea.e9.e8.e7.

Digital AlphaPC 164LX 533 MHz Console V5.8-1, Jun 21 2000 11:28:32
>>>

I have been unable to find any manufacturer name/logo on the board, but
I haven't taken it out to look at the back of the board.

Is this one of the machines the webpage says "[t]he NetBSD developers
would be greatly interested in feedback from anyone using NetBSD/alpha
with"?  If what I've said isn't enough information to tell, what else
could I do, or look at, to help?

If it is, what can I do to help?  It has NetBSD on the disk, which
boots single-user and says it's 4.0.1; I haven't yet dug any deeper
than that, but I do have another alpha, a "Digital Personal WorkStation
600au, 598MHz" according to NetBSD 5.2's boot messages, which I can use
to set this machine up with 5.2; I'll probably set up a 5.2 disk for
this machine using that.  I could set someone up with an Ethernet-layer
bridge to the network and a connection to the console serial port.

/~\ The ASCII				  Mouse
\ / Ribbon Campaign
 X  Against HTML		mouse%rodents-montreal.org@localhost
/ \ Email!	     7D C8 61 52 5D E7 2D 39  4E F1 31 3E E8 B3 27 4B