1if TARGET_P3041DS
2
3config SYS_BOARD
4	default "corenet_ds"
5
6config SYS_VENDOR
7	default "freescale"
8
9config SYS_CONFIG_NAME
10	default "P3041DS"
11
12source "board/freescale/common/Kconfig"
13
14endif
15
16if TARGET_P4080DS
17
18config SYS_BOARD
19	default "corenet_ds"
20
21config SYS_VENDOR
22	default "freescale"
23
24config SYS_CONFIG_NAME
25	default "P4080DS"
26
27source "board/freescale/common/Kconfig"
28
29endif
30
31if TARGET_P5020DS
32
33config SYS_BOARD
34	default "corenet_ds"
35
36config SYS_VENDOR
37	default "freescale"
38
39config SYS_CONFIG_NAME
40	default "P5020DS"
41
42source "board/freescale/common/Kconfig"
43
44endif
45
46if TARGET_P5040DS
47
48config SYS_BOARD
49	default "corenet_ds"
50
51config SYS_VENDOR
52	default "freescale"
53
54config SYS_CONFIG_NAME
55	default "P5040DS"
56
57source "board/freescale/common/Kconfig"
58
59endif
60