Re: Kernel crash on device_map DEVICE_NULL

[John Tobey]

On Fri, Nov 23, 2001 at 12:56:39PM +0100, Marcus Brinkmann wrote:
> The code diddles round a bit what happens when receiving device messages.
> All this is simplified in oskit-mach.   It's best if you don't spent too
> much time worrying over this, and just hack in whatever works for you (call
> it a counter hack :).

Hrmph.  Okay, I'll do as you say.  But what works for me is going to
involve changing `#ifdef i386' to something else, since I will either
use the indirection or not, and I want to do the same thing for all
CPU types.  Presumably, making it `#ifdef LINUX_DEV' will not upset
anything.

Thanks.

-John