I take it your second program uses device_set_filter on its own to select some of the packets. That should be perfectly valid and both your program and pfinet should get copies of each packet.
I'd like to understand better exactly what is happening when the kernel crashes, and I don't think it should be too hard (for you) to figure out some more essential details. In this situation, both pfinet and your program should both be sending and receiving packets. We need to figure out what exactly was being done by the code that crashed. First, by looking in the mach_msg_trap frame, you can see the whole message header (do "p/x *kmsg"). Then we can tell whether this is an incoming packet message being sent by net_packet, or an outgoing packet device_write message. Then take a look in the vm_map_copyout frame and examine all the addresses involved; show us all the local variables there and examine the pointers. _______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
