| 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_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
 |