Memec v4fx12lc - problem booting linux on ppc

[Andrei Konovalov]

Hi Andy,

Andy Gotz wrote:
<snip>
> xilinx_char_lcd at 0xFE804800 (256 bytes) mapped to 0xC50C2800
> Data machine check in kernel mode.
> Oops: machine check, sig: 7
...

Looks like the kernel tries accessing non-existing IP, or the IP
triggers some error on the bus.
Could you tell me what IP the xilinx_char_lcd driver is expected
to work with in your design?

Thanks,
Andrei