Re: oskit-mach: device_write

[Roland McGrath]

I don't really have any ideas off hand what the problem might be.  Can you
step through the return from ds_device_write in gdb and follow what happens
from there until the crash?

The only other idea that occurs to me for narrowing it down is to try you
test program with device_write_inband and see if there are any problems
with that.  If not, then it probably has something to do with how to ool
data is handled in the kernel.