I am moving,now longer working on arc 'kernel' anymore. I have an NEC RISC Image station running NetBSD 1.5 available to any NetBSD developer for cost of shipping (approx $30 in US please no inquires outside US). I'll supply the CDROM 'install' image I generated in July 2001 used to load NetBSD on THIS model.