config ADK_TARGET_SYSTEM_MIKROTIK_RB4XX
	bool "Mikrotik Routerboard 4xx"
	select ADK_CPU_MIPS32
	select ADK_TARGET_BIG_ENDIAN
	select ADK_TARGET_WITH_MINIPCI
	select ADK_TARGET_WITH_SERIAL
	select ADK_TARGET_WITH_WATCHDOG
	select ADK_TARGET_WITH_NAND
	select ADK_TARGET_WITH_LEDS
	help
	  Support for Mikrotik RB411/RB433/RB493g.