On 08-Jun-98 Jason Thorpe spoke unto us all:
# On Mon, 08 Jun 1998 05:26:23 -0700 (MST) 
#  Tim Rightnour <root@garbled.net> wrote:
# 
#  > halted CPU 0
#  > 
#  > halt code = 5
#  > HALT instruction executed
#  > PC = fffffc0000300140
#  > 
#  > CPU 0 booting
#  > 
#  > 
#  > Unexpected Machine Check through vector 00000067
# 
# Wow, a machine check while in the SRM ... "that doesn't make me feel so
# good..."

Doesn't make you feel good?  How about me.. mine's the one that does it! ;)

#  > NetBSD 1.3E (RIGEL) #0: Sun Jun  7 19:21:40 MST 1998
#  >     root@rigel:/usr/src/current/src/sys/arch/alpha/compile/RIGEL
#  > (PCI ISA), 167MHz
#    ^^^^^^^^^
# Wow, that's a new one... I haven't seen that before :-)

I don't know what the heck that is.  I build this kernel from sources supped
Sunday night.  I have the boot log from the 1.3 kernel.. lesse here:

NetBSD 1.3 (GENERIC) #0: Tue Dec 30 23:32:12 PST 1997
    cjs@bishop:/u1/cjs/co/branch/src/sys/arch/alpha/compile/GENERIC
Alpha PC AXPpci33 ("NoName"), 167MHz
8192 byte page size, 1 processor.

Looks like a bug perhaps?

# This seems ... odd.  It sounds very much like you have buggy firmware.  Can
# I ask which version you're running?
# 

version                 BL5 V3.8-3 Aug 10 1995 03:22:55

48 Megs of memory..  Someone else responded privately to me, that they have
this same problem.  A buggy SRM would *not* suprise me, as the 3.8.3 that
digital releases on thier web page is buggy enough that you cannot netboot it. 
Supposedly 3.8.2 doesn't have this, nor does the "magical internal only
release" that noone can get ahold of.  

---
Tim Rightnour    -  root@garbled.net
http://www.zynetwc.com/~garbled/garbled.html