Disabled SD1 as suggested by Majenko and Pito, now I get the following at which point everything hangs with the two leds closest to the sdcard lit (not certain what these map to at the moment).
2.11 BSD Unix for PIC32, revision 860M build 17:
Compiled 2013-02-11 by jmcgee@xubuntu-retrobsd:
cpu: 695F512L 80 MHz, bus 80 MHz
oscillator: HS crystal, PLL div 1:3 mult x20
console: tty2 (5,2)
sd0: port SPI4, select pin F3
sd0: type II, size 1982464 kbytes, speed 8 Mbit/sec
phys mem = 128 kbytes
user mem = 96 kbytes
root dev = rd0a (0,1)
root size = 163840 kbytes
swap dev = rd0b (0,2)
swap size = 2048 kbytes
temp0: allocated 47 blocks
Jaromir, which version of the code are you running?