I'd like to find the kernel source for the kernel named
netbsd10.patched found at URL
ftp://acm.vt.edu/pub/NetBSD_Mac/1.0/binary/netbsd10.patched.  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