Re: more info on boot crash

[Roland McGrath]

I'm not really gleaning anything from the details of the message buffer and
ports, though I might if I thought about it more.  But note that send-once
right names are always unique and don't match the receive right name, so
those don't tell you much.  If in fact what's going on is a random wrong
reply message then one thing to look at is step through
__mig_get_reply_port and make sure it's doing the proper thread-local thing.
2904 is device_read_reply, which should be cause for suspicion.