i was wondering whether netbsd is ported to the alpha sx164? below is all
the info i could find on the box (/proc/cpuinfo in linux)

thanks,
saad.


$ cat cpuinfo 
cpu                     : Alpha
cpu model               : EV56
cpu variation           : 0
cpu revision            : 0
cpu serial number       : Linux_is_Great!
system type             : EB164
system variation        : SX164
system revision         : 0
system serial number    : MILO-0000
cycle frequency [Hz]    : 533164384
timer frequency [Hz]    : 1024.00
page size [bytes]       : 8192
phys. address bits      : 40
max. addr. space #      : 127
BogoMIPS                : 527.43
kernel unaligned acc    : 42 (pc=fffffc00003ea310,va=fffffc00142039ce)
user unaligned acc      : 3702 (pc=12004ae58,va=11ffff6c0)
platform string         : N/A