if ARCH_MX5

config ARCH_MX51
	bool
	default y
	select MXC_TZIC
	select ARCH_MXC_IOMUX_V3

comment "MX5 platforms:"

config MACH_MX51_BABBAGE
	bool "Support MX51 BABBAGE platforms"
	help
	  Include support for MX51 Babbage platform, also known as MX51EVK in
	  u-boot. This includes specific configurations for the board and its
	  peripherals.

endif