if TARGET_P3041DS

config SYS_BOARD
	default "corenet_ds"

config SYS_VENDOR
	default "freescale"

config SYS_CONFIG_NAME
	default "P3041DS"

source "board/freescale/common/Kconfig"

endif

if TARGET_P4080DS

config SYS_BOARD
	default "corenet_ds"

config SYS_VENDOR
	default "freescale"

config SYS_CONFIG_NAME
	default "P4080DS"

source "board/freescale/common/Kconfig"

endif

if TARGET_P5020DS

config SYS_BOARD
	default "corenet_ds"

config SYS_VENDOR
	default "freescale"

config SYS_CONFIG_NAME
	default "P5020DS"

source "board/freescale/common/Kconfig"

endif

if TARGET_P5040DS

config SYS_BOARD
	default "corenet_ds"

config SYS_VENDOR
	default "freescale"

config SYS_CONFIG_NAME
	default "P5040DS"

source "board/freescale/common/Kconfig"

endif