Gumstix OVERO

Hi,

I have purchased two Gumstix OVERO COMs (Tide and Water) and a Gumstix board (Tobi).

I am having trouble booting NetBSD-current on these, has anyone got recent experience of doing this?

Below is a console dump whilst booting the OVERO Tide.  Nothing is displayed after passing control 
to the kernel.  From looking at mailing list archives, I am expecting the following:

   NetBSD/evbarm (overo) booting ...

I can confirm that code in gumstix_start.S does start to execute.

By inserting code to print to the console I can confirm that it runs until it flushes the TLB and 
sets the TTB.

I managed to print the following diagnostic details just before the TLB flush.  Interpretation of 
the register values has been done by hand, most of it makes sense except for the control register 
suggesting that the MMU is already turned on?

Kernel Start: 0x80200000
RAM size:     0x20000000
Boot Arg[0]:  0x9ff27fe0
Boot Arg[1]:  0x00000000
Boot Arg[2]:  0x9ffb482a
Boot Arg[3]:  0x9ffb482a
Processor ID: 0x411fc083
   [31:24] Implementor     = 0x41 ARM
   [23:20] Major revision  = 0x1
   [19:16] Architecture    = 0xF