11 config TARGET_SBC8641D
12 bool "Support sbc8641d"
15 config TARGET_MPC8610HPCD
16 bool "Support MPC8610HPCD"
19 config TARGET_MPC8641HPCN
20 bool "Support MPC8641HPCN"
23 config TARGET_XPEDITE517X
24 bool "Support xpedite517x"
35 config SYS_CCSRBAR_DEFAULT
36 hex "Default CCSRBAR address"
37 default 0xff700000 if ARCH_MPC8610 || ARCH_MPC8641
39 Default value of CCSRBAR comes from power-on-reset. It
40 is fixed on each SoC. Some SoCs can have different value
41 if changed by pre-boot regime. The value here must match
42 the current value in SoC. If not sure, do not change.
44 source "board/freescale/mpc8610hpcd/Kconfig"
45 source "board/freescale/mpc8641hpcn/Kconfig"
46 source "board/sbc8641d/Kconfig"
47 source "board/xes/xpedite517x/Kconfig"