The source of the problem was faulty hardware. Fortunately, I had another operating system on the same machine (from the Dark Side :-) ) and I could see that this other OS also had troubles booting. Removing and reinserting the network card helped eliminate the problem.
Peter This message posted from opensolaris.org