1config 85xx
2	bool
3	depends on E500
4	default y
5
6config PPC_INDIRECT_PCI_BE
7	bool
8	depends on 85xx
9	default y
10
11menu "Freescale 85xx options"
12	depends on E500
13
14choice
15	prompt "Machine Type"
16	depends on 85xx
17	default MPC8540_ADS
18
19config MPC8540_ADS
20	bool "Freescale MPC8540 ADS"
21	help
22	  This option enables support for the MPC 8540 ADS evaluation board.
23
24config MPC8548_CDS
25	bool "Freescale MPC8548 CDS"
26	help
27	  This option enablese support for the MPC8548 CDS evaluation board.
28
29config MPC8555_CDS
30	bool "Freescale MPC8555 CDS"
31	help
32	  This option enablese support for the MPC8555 CDS evaluation board.
33
34config MPC8560_ADS
35	bool "Freescale MPC8560 ADS"
36	help
37	  This option enables support for the MPC 8560 ADS evaluation board.
38
39config SBC8560
40	bool "WindRiver PowerQUICC III SBC8560"
41	help
42	  This option enables support for the WindRiver PowerQUICC III
43	  SBC8560 board.
44
45config STX_GP3
46	bool "Silicon Turnkey Express GP3"
47	help
48	  This option enables support for the Silicon Turnkey Express GP3
49	  board.
50
51endchoice
52
53# It's often necessary to know the specific 85xx processor type.
54# Fortunately, it is implied (so far) from the board type, so we
55# don't need to ask more redundant questions.
56config MPC8540
57	bool
58	depends on MPC8540_ADS
59	default y
60
61config MPC8548
62	bool
63	depends on MPC8548_CDS
64	default y
65
66config MPC8555
67	bool
68	depends on MPC8555_CDS
69	default y
70
71config MPC8560
72	bool
73	depends on SBC8560 || MPC8560_ADS || STX_GP3
74	default y
75
76config 85xx_PCI2
77	bool "Supprt for 2nd PCI host controller"
78	depends on MPC8555_CDS
79	default y
80
81config PPC_GEN550
82	bool
83	depends on MPC8540 || SBC8560 || MPC8555
84	default y
85
86endmenu
87