Hi Graham,
Yes I did try setting all the pins high but the problem remains unchanged. The only pin that makes any difference is setting pin 10 to output. That just kills the Ethernet card immediately, at initialisation, regardless of whether I then set the pin to high...
Initialising display...
Initialising SD card...
SD card initialised OK
Initialising Ethernet...
...and it's dead.
John.