Just to complete the picture: I can't exclude the possibility that the issues I ran into were related to the fact that my development cluster is running on Xen:
pub0-node1:/# grep INT /var/adm/messages* /var/adm/messages.0:Oct 6 22:13:36 pub0-node1 unix: [ID 988528 kern.warning] WARNING: Unexpected INT 1 in user mode, dr6=ffff0ff0 /var/adm/messages.0:Oct 6 22:16:44 pub0-node1 unix: [ID 988528 kern.warning] WARNING: Unexpected INT 1 in user mode, dr6=ffff0ff0 /var/adm/messages.0:Oct 6 22:23:18 pub0-node1 unix: [ID 988528 kern.warning] WARNING: Unexpected INT 1 in user mode, dr6=ffff0ff0 /var/adm/messages.0:Oct 6 22:29:59 pub0-node1 unix: [ID 988528 kern.warning] WARNING: Unexpected INT 1 in user mode, dr6=ffff0ff0 /var/adm/messages.0:Oct 6 22:36:50 pub0-node1 unix: [ID 988528 kern.warning] WARNING: Unexpected INT 1 in user mode, dr6=ffff0ff0 /var/adm/messages.0:Oct 6 22:43:26 pub0-node1 unix: [ID 988528 kern.warning] WARNING: Unexpected INT 1 in user mode, dr6=ffff0ff0 /var/adm/messages.0:Oct 6 22:46:53 pub0-node1 unix: [ID 988528 kern.warning] WARNING: Unexpected INT 1 in user mode, dr6=ffff0ff0 /var/adm/messages.0:Oct 6 22:46:53 pub0-node1 unix: [ID 988528 kern.warning] WARNING: Unexpected INT 1 in user mode, dr6=ffff0ff0 I don't get these messages any more. See also: http://opensolaris.org/jive/thread.jspa?messageID=422658