BDI kernel debug

Marco Schramel Schramel.Linux at
Fri Jul 9 00:03:16 EST 2004


thanks for the help

> Then check /linuxroot/arch/ppc/kernel/head.S, do a search for
> CONFIG_BDI_SWITCH. Make sure the option is valid and that the pgtables do
> indeed get updated. If the switch is valid then probably something else is
> wrong.
> Check to make sure that the PGTABLE base is at 0x000000f0 and that is what
> you have set it to in your BDI config file. The BDI config file has to
> match what you have in head.S.

Adding PTBASE 0x000000f0 to the  [TARGET] section in the bdi config file works very well.


Marco Schramel
Bartec GmbH
Schulstr. 30
94239 Gotteszell, Germany
Marco.Schramel at
Phone:  +49 (0)9929/301332
Fax:    +49 (0)9929/301112

** Sent via the linuxppc-embedded mail list. See

More information about the Linuxppc-embedded mailing list