config ADK_TARGET_SYSTEM_PCENGINES_ALIX1C
	bool "PCEngines ALIX1C"
	select ADK_x86
	select ADK_pcengines_alix1c
	select ADK_CPU_GEODE
	select ADK_TARGET_CPU_WITH_3DNOW
        select ADK_TARGET_CPU_WITH_3DNOWEXT
        select ADK_TARGET_CPU_WITH_MMX
        select ADK_TARGET_CPU_WITH_MMXEXT
	select ADK_TARGET_WITH_GEODE_CRYPTO
	select ADK_TARGET_WITH_USB
	select ADK_TARGET_WITH_USB_BOOT
	select ADK_TARGET_WITH_PCI
	select ADK_TARGET_WITH_VGA
	select ADK_TARGET_WITH_INPUT
	select ADK_TARGET_WITH_RTC
	select ADK_TARGET_WITH_WATCHDOG
	select ADK_TARGET_WITH_USB_BOOT
	select ADK_TARGET_KERNEL_BZIMAGE
	depends on ADK_BROKEN
	help
         System profile for PCEngines ALIX1C. 

