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. _______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
