Subject: Re: BDI kernel debug

From: Marco Schramel <[email-masked]>
Date: Thu, 8 Jul 2004 16:03:16 +0200

Fahd,

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.

Thanks
Marco

---------
Marco Schramel
R&D
Bartec GmbH
Schulstr. 30
94239 Gotteszell, Germany
www.bartec.de
[email-masked]
Phone:  +49 (0)9929/301332
Fax:    +49 (0)9929/301112

** Sent via the linuxppc-embedded mail list. See http://lists.linuxppc.org/