config ADK_TARGET_SYSTEM_ACMESYSTEMS_FOXG20
	bool "Foxboard FOXG20"
	select ADK_arm
	select ADK_little
	select ADK_soft_float
	select ADK_eabi
	select ADK_acmesystems_foxg20
	select ADK_KERNEL_AEABI
	select ADK_TARGET_WITH_SD
	select ADK_TARGET_WITH_WATCHDOG
	select ADK_TARGET_WITH_RTC
	select ADK_TARGET_WITH_USB
	select ADK_TARGET_KERNEL_IMAGE
	depends on ADK_BROKEN
	help
	  Acme Systems Foxboard FOXG20