"Mark J. Foster" wrote:

> I'm trying to create a new device driver for the SHARK, and have managed
> to get myself utterly confused in trying to determine how to hook my
> device driver into the kernel.

Whoops!  Sorry for wasting your time - I've finally discovered
config+SHARK+files.arm32 => ioconf.c.  I apologize for the hassle...

Best Regards,
MarkF