CONFIG_ARCH_SUPPORTS_AOUT=y
# CONFIG_ARCH_SUPPORTS_MSI is not set
# CONFIG_ARPD is not set
-CONFIG_BASE_SMALL=0
CONFIG_BINFMT_ELF_FDPIC=y
CONFIG_BINFMT_FLAT=y
# CONFIG_BINFMT_SHARED_FLAT is not set
CONFIG_PAGEFLAGS_EXTENDED=y
CONFIG_PCI_DEV0_IDSEL=0x001000000
CONFIG_PCI_DEV1_IDSEL=0x002000000
-CONFIG_PCI=y
CONFIG_PRINTK_TIME=y
CONFIG_PROTECT_KERNEL=y
CONFIG_RAMBASE=0x40000000
# CONFIG_SYSCTL_SYSCALL_CHECK is not set
CONFIG_SYSFS_DEPRECATED_V2=y
CONFIG_SYSFS_DEPRECATED=y
-CONFIG_TICK_ONESHOT=y
CONFIG_TIME_LOW_RES=y
CONFIG_TIMER_EXTRA_ALLOC=0
# CONFIG_TIMERFD is not set