- First stab at getting the ppc ports building and working.
[coreboot.git] / src / cpu / ppc / ppc4xx / Config.lb
1 ##
2 ## CPU initialization
3 ##
4 uses _RAMBASE
5 uses USE_DCACHE_RAM
6 uses DCACHE_RAM_BASE
7 uses DCACHE_RAM_SIZE
8
9 ##
10 ## PPC4XX always uses cache ram for initial setup
11 ##
12 default USE_DCACHE_RAM=1
13 ## Set dcache ram above linuxbios image
14 default DCACHE_RAM_BASE=_RAMBASE+0x100000
15 ## Dcache size is 16Kb
16 default DCACHE_RAM_SIZE=16384
17
18 initinclude "FAMILY_INIT" cpu/ppc/ppc4xx/ppc4xx.inc
19 initobject cache.S
20 initobject sdram.c
21 initobject clock.c
22
23 object mem.o
24 object clock.o
25 object cache.S
26
27 dir /cpu/simple_init