Subject: Re: -current kernels and ARM710
To: None <mark@causality.com>
From: Reinoud Zandijk <zandijk@cs.utwente.nl>
List: port-arm32
Date: 05/28/1999 16:33:57 
Hi you all!,

IT WORKS! NetBSD 1.4 kernel just booted OK on my ARM710. The reason I
thought it crashed was because the network connection was dead; to many
changes from 1.3.2 to 1.4 I think :-) 

Thanks a lot Mark!

CYA
Reinoud

(just planning how to reinstall NetBSD 1.4 without losing important stuff)