config SOC_QUARK_X1000
	bool "Quark X1000"
	select HPET_TIMER
	select BOOTLOADER_UNKNOWN
	select PCI
	help
	Intel Quark X1000 SoC.