1 # CONFIG_3C515 is not set
3 # CONFIG_ATA_PIIX is not set
4 CONFIG_CS5535_CLOCK_EVENT_SRC=y
6 CONFIG_CS5535_MFGPT_DEFAULT_IRQ=7
7 # CONFIG_EISA is not set
8 # CONFIG_EL3 is not set
13 # CONFIG_GPIO_F7188X is not set
14 # CONFIG_GPIO_INTEL_MID is not set
16 # CONFIG_HIGHMEM64G is not set
22 CONFIG_I2C_BOARDINFO=y
24 # CONFIG_KEYBOARD_GPIO is not set
25 # CONFIG_LANCE is not set
27 # CONFIG_M486 is not set
28 # CONFIG_MDA_CONSOLE is not set
32 # CONFIG_MIXCOMWD is not set
43 # CONFIG_PCWATCHDOG is not set
44 # CONFIG_PNP is not set
52 # CONFIG_USB_EHCI_HCD_PLATFORM is not set
55 CONFIG_USB_OHCI_HCD_PCI=y
56 # CONFIG_USB_OHCI_HCD_PLATFORM is not set
57 # CONFIG_USB_UHCI_HCD is not set
58 CONFIG_VGACON_SOFT_SCROLLBACK=y
59 CONFIG_VGACON_SOFT_SCROLLBACK_SIZE=64
61 CONFIG_VIA_RHINE_MMIO=y
62 # CONFIG_WDT is not set
64 CONFIG_X86_DEBUGCTLMSR=y
65 # CONFIG_X86_MCE is not set
66 CONFIG_X86_REBOOTFIXUPS=y