| if TARGET_P3041DS | |
| config SYS_BOARD | |
| default "corenet_ds" | |
| config SYS_VENDOR | |
| default "freescale" | |
| config SYS_CONFIG_NAME | |
| default "P3041DS" | |
| endif | |
| if TARGET_P4080DS | |
| config SYS_BOARD | |
| default "corenet_ds" | |
| config SYS_VENDOR | |
| default "freescale" | |
| config SYS_CONFIG_NAME | |
| default "P4080DS" | |
| endif | |
| if TARGET_P5020DS | |
| config SYS_BOARD | |
| default "corenet_ds" | |
| config SYS_VENDOR | |
| default "freescale" | |
| config SYS_CONFIG_NAME | |
| default "P5020DS" | |
| endif | |
| if TARGET_P5040DS | |
| config SYS_BOARD | |
| default "corenet_ds" | |
| config SYS_VENDOR | |
| default "freescale" | |
| config SYS_CONFIG_NAME | |
| default "P5040DS" | |
| endif |