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