Subject: Finding kernel source for netbsd.patched
To: None <macbsd-general@NetBSD.ORG>
From: Paul Craig Tyler <>
List: macbsd-general
Date: 04/24/1995 16:32:34
I'd like to find the kernel source for the kernel named
netbsd10.patched found at URL  I intend
to work on the problems with non-standard video sizes and the grf device
drivers on the IIci.  I've been looking all day but can't find what I'm
looking for.  Any pointers would be appreciated.

Paul Tyler