2 # CONFIG_ATA_PIIX is not set
3 CONFIG_CS5535_CLOCK_EVENT_SRC=y
5 CONFIG_CS5535_MFGPT_DEFAULT_IRQ=7
10 # CONFIG_GPIO_F7188X is not set
11 # CONFIG_GPIO_INTEL_MID is not set
13 # CONFIG_HIGHMEM64G is not set
19 CONFIG_I2C_BOARDINFO=y
20 # CONFIG_KEYBOARD_GPIO is not set
22 # CONFIG_M486 is not set
43 # CONFIG_USB_EHCI_HCD_PLATFORM is not set
46 CONFIG_USB_OHCI_HCD_PCI=y
47 # CONFIG_USB_OHCI_HCD_PLATFORM is not set
48 # CONFIG_USB_UHCI_HCD is not set
50 CONFIG_VIA_RHINE_MMIO=y
53 CONFIG_X86_DEBUGCTLMSR=y
54 # CONFIG_X86_MCE is not set
55 CONFIG_X86_REBOOTFIXUPS=y
57 CONFIG_X86_USE_3DNOW=y
58 CONFIG_X86_USE_PPRO_CHECKSUM=y