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
12endif
13
14if TARGET_P4080DS
15
16config SYS_BOARD
17	default "corenet_ds"
18
19config SYS_VENDOR
20	default "freescale"
21
22config SYS_CONFIG_NAME
23	default "P4080DS"
24
25endif
26
27if TARGET_P5020DS
28
29config SYS_BOARD
30	default "corenet_ds"
31
32config SYS_VENDOR
33	default "freescale"
34
35config SYS_CONFIG_NAME
36	default "P5020DS"
37
38endif
39
40if TARGET_P5040DS
41
42config SYS_BOARD
43	default "corenet_ds"
44
45config SYS_VENDOR
46	default "freescale"
47
48config SYS_CONFIG_NAME
49	default "P5040DS"
50
51endif
52