Memec v4fx12lc - problem booting linux on ppc

[Olivier Goudard]

Hi,

we have a v4fx12lc fpga board from memec which we are trying to get
Linux to boot on the ppc processor. We have generated a linux kernel for
nfs using the MontaVista support package. We generate a bitfile with the
following hardware peripherals in it :

RS232
Ethernet_MAC
Led_4bit
Push_buttons_3bits
DIP_switches_8bit
OPB_INTC_0

When we download the linux image with xmd we see nothing on the screen.
When we type "run" nothing appears on the screen and Linux does not
boot.

Has anyone had a similar problem ? We are stuck! Any ideas would be
appreciated.

We can boot a linux ramdisk kernel provided by Memec on the same board
using their bitfile. So the board seems to be working in general.

Thansk for any pointers and excuse us if we are posting to the wrong
list (this is the only list we could find which seemed useful) ! 

Olivier Goudard