CONFIG_PROVE_LOCKING broken on 83xx (and all of powerpc?)

Timur Tabi timur at
Fri Sep 10 05:40:50 EST 2010

Ira W. Snyder wrote:
> As noted in another email, it appears that U-Boot puts the FDT in such a
> place that Linux overwrites it with the BSS. The CONFIG_PROVE_LOCKING=y
> option expands the BSS by a large amount, which causes the error. It
> isn't directly lockdep related.
> I don't know if this is a U-Boot problem or a Linux problem. I have no
> idea how to fix the bug.

I wonder if this patch that I wrote for U-Boot will fix the problem:

Timur Tabi
Linux kernel developer at Freescale

More information about the Linuxppc-dev mailing list