1 # CONFIG_3C515 is not set
6 # CONFIG_8139TOO_TUNE_TWISTER is not set
7 # CONFIG_8139_OLD_RX_RESET is not set
9 # CONFIG_ATA_PIIX is not set
10 CONFIG_CS5535_CLOCK_EVENT_SRC=y
12 CONFIG_CS5535_MFGPT_DEFAULT_IRQ=7
13 # CONFIG_EBC_C384_WDT is not set
14 # CONFIG_EISA is not set
15 # CONFIG_EL3 is not set
19 # CONFIG_GPIO_104_DIO_48E is not set
20 # CONFIG_GPIO_104_IDIO_16 is not set
21 # CONFIG_GPIO_104_IDI_48 is not set
23 # CONFIG_GPIO_F7188X is not set
24 # CONFIG_GPIO_GPIO_MM is not set
25 # CONFIG_GPIO_IT87 is not set
27 # CONFIG_GPIO_WS16C48 is not set
28 # CONFIG_HIGHMEM64G is not set
34 CONFIG_I2C_BOARDINFO=y
37 # CONFIG_LANCE is not set
40 CONFIG_LZO_DECOMPRESS=y
41 # CONFIG_M486 is not set
42 # CONFIG_MDA_CONSOLE is not set
46 # CONFIG_MIXCOMWD is not set
56 # CONFIG_PCWATCHDOG is not set
57 # CONFIG_PNP is not set
60 CONFIG_RTC_I2C_AND_SPI=y
68 # CONFIG_USB_EHCI_HCD_PLATFORM is not set
71 CONFIG_USB_OHCI_HCD_PCI=y
72 # CONFIG_USB_OHCI_HCD_PLATFORM is not set
73 # CONFIG_USB_UHCI_HCD is not set
74 CONFIG_VGACON_SOFT_SCROLLBACK=y
75 CONFIG_VGACON_SOFT_SCROLLBACK_SIZE=64
77 CONFIG_VIA_RHINE_MMIO=y
78 # CONFIG_WDT is not set
80 CONFIG_X86_DEBUGCTLMSR=y
81 # CONFIG_X86_MCE is not set
82 CONFIG_X86_REBOOTFIXUPS=y