[U-Boot] device-tree check MPC5200B Lite

Greetings,

I've read the FAQ in http://www.denx.de/wiki/view/DULG/LinuxHangsAfterUncompressingKernel, concerning the 'Linux hangs after uncompression' problem.

And I'm not sure how to verify if the device tree I've generated (along with the image) is alright or not. I don't know where I can find the mapping of IMMR or PCI in the files present there, for instance.

Is there any documentation or literature that could help me?

Some specs:

Board: MPC5200B

Device-tree compiler version: 1.2.0

Kernel image to be passed to the board: Linux-2.6.26.8-dirty

Xenomai: 2.4.x

U-Boot version: 2008.10

Thanks in advance.

Marco Antônio Possamai

Universidade Federal de Santa Catarina