Subject: Simtec IDEFS installation Kernel
To: None <port-arm32@netbsd.org>
From: Matt Pollard <M.Pollard@bristol.ac.uk>
List: port-arm32
Date: 08/21/2000 18:50:57 
Hi,

Does anyone know if the current 1.4.2 installation kernel has been fixed so
it runs on Simtec's IDEFS interface? I tried last about May time to
reinstall NetBSD on my machine but failed rather miserably using this and
several older installation kernels.

cheers

matt  

-- 
Matt Pollard