powerpc/85xx: verify the device tree before booting Linux
authorTimur Tabi <timur@freescale.com>
Tue, 3 May 2011 18:24:08 +0000 (13:24 -0500)
committerKumar Gala <galak@kernel.crashing.org>
Fri, 29 Jul 2011 13:53:39 +0000 (08:53 -0500)
commit90f89f099d0741ed5557adbce4a2dde96887a824
treee0fcc251d49ee7742d02bfd28a4d1d4a5d40dcc7
parent21cd5815a7e956e689ac78be2ade05e61fd5dce7
powerpc/85xx: verify the device tree before booting Linux

Introduce ft_verify_fdt(), a function that is called after the device tree
has been fixed up, that displays warning messages if there is a mismatch
between the physical addresses of some devices that U-Boot has configured
with what the device tree says the addresses are.

This is a particular problem when booting a 36-bit device tree from a
32-bit U-Boot (or vice versa), because the physical address of CCSR is
wrong in the device tree.  When the operating system boots, no messages are
displayed, so the user generally has no idea what's wrong.

Signed-off-by: Timur Tabi <timur@freescale.com>
Signed-off-by: Kumar Gala <galak@kernel.crashing.org>
arch/powerpc/cpu/mpc85xx/fdt.c
arch/powerpc/lib/bootm.c