1CONFIG_HIGH_RES_TIMERS=y
2CONFIG_LOG_BUF_SHIFT=12
3CONFIG_CC_OPTIMIZE_FOR_SIZE=y
4# CONFIG_UID16 is not set
5# CONFIG_BASE_FULL is not set
6# CONFIG_FUTEX is not set
7# CONFIG_EPOLL is not set
8# CONFIG_SIGNALFD is not set
9# CONFIG_EVENTFD is not set
10# CONFIG_AIO is not set
11CONFIG_EMBEDDED=y
12# CONFIG_VM_EVENT_COUNTERS is not set
13# CONFIG_SLUB_DEBUG is not set
14# CONFIG_BLK_DEV_BSG is not set
15# CONFIG_MMU is not set
16CONFIG_ARM_SINGLE_ARMV7M=y
17CONFIG_ARCH_EFM32=y
18CONFIG_SET_MEM_PARAM=y
19CONFIG_DRAM_BASE=0x88000000
20CONFIG_DRAM_SIZE=0x00400000
21CONFIG_FLASH_MEM_BASE=0x8c000000
22CONFIG_FLASH_SIZE=0x01000000
23CONFIG_PREEMPT=y
24CONFIG_ZBOOT_ROM_TEXT=0x0
25CONFIG_ZBOOT_ROM_BSS=0x0
26CONFIG_XIP_KERNEL=y
27CONFIG_XIP_PHYS_ADDR=0x8c000000
28CONFIG_BINFMT_FLAT=y
29CONFIG_BINFMT_SHARED_FLAT=y
30# CONFIG_COREDUMP is not set
31CONFIG_NET=y
32CONFIG_PACKET=y
33CONFIG_UNIX=y
34CONFIG_INET=y
35# CONFIG_INET_XFRM_MODE_TRANSPORT is not set
36# CONFIG_INET_XFRM_MODE_TUNNEL is not set
37# CONFIG_INET_XFRM_MODE_BEET is not set
38# CONFIG_INET_DIAG is not set
39# CONFIG_IPV6 is not set
40# CONFIG_WIRELESS is not set
41CONFIG_DEVTMPFS=y
42CONFIG_DEVTMPFS_MOUNT=y
43# CONFIG_FW_LOADER is not set
44CONFIG_MTD=y
45CONFIG_MTD_BLOCK_RO=y
46CONFIG_MTD_ROM=y
47CONFIG_MTD_UCLINUX=y
48# CONFIG_BLK_DEV is not set
49CONFIG_NETDEVICES=y
50# CONFIG_NET_VENDOR_ARC is not set
51# CONFIG_NET_CADENCE is not set
52# CONFIG_NET_VENDOR_BROADCOM is not set
53# CONFIG_NET_VENDOR_CIRRUS is not set
54# CONFIG_NET_VENDOR_FARADAY is not set
55# CONFIG_NET_VENDOR_INTEL is not set
56# CONFIG_NET_VENDOR_MARVELL is not set
57CONFIG_KS8851=y
58# CONFIG_NET_VENDOR_MICROCHIP is not set
59# CONFIG_NET_VENDOR_NATSEMI is not set
60# CONFIG_NET_VENDOR_SEEQ is not set
61# CONFIG_NET_VENDOR_SMSC is not set
62# CONFIG_NET_VENDOR_STMICRO is not set
63# CONFIG_NET_VENDOR_VIA is not set
64# CONFIG_NET_VENDOR_WIZNET is not set
65# CONFIG_WLAN is not set
66# CONFIG_INPUT is not set
67# CONFIG_SERIO is not set
68# CONFIG_VT is not set
69# CONFIG_UNIX98_PTYS is not set
70# CONFIG_LEGACY_PTYS is not set
71CONFIG_SERIAL_NONSTANDARD=y
72# CONFIG_DEVKMEM is not set
73CONFIG_SERIAL_EFM32_UART=y
74CONFIG_SERIAL_EFM32_UART_CONSOLE=y
75# CONFIG_HW_RANDOM is not set
76CONFIG_I2C=y
77# CONFIG_I2C_COMPAT is not set
78CONFIG_I2C_EFM32=y
79CONFIG_SPI=y
80CONFIG_SPI_EFM32=y
81CONFIG_GPIO_SYSFS=y
82# CONFIG_USB_SUPPORT is not set
83CONFIG_MMC=y
84CONFIG_MMC_SPI=y
85CONFIG_EXT2_FS=y
86# CONFIG_FILE_LOCKING is not set
87# CONFIG_DNOTIFY is not set
88# CONFIG_INOTIFY_USER is not set
89CONFIG_ROMFS_FS=y
90CONFIG_ROMFS_BACKED_BY_MTD=y
91# CONFIG_NETWORK_FILESYSTEMS is not set
92CONFIG_PRINTK_TIME=y
93CONFIG_DEBUG_INFO=y
94# CONFIG_ENABLE_MUST_CHECK is not set
95CONFIG_MAGIC_SYSRQ=y
96# CONFIG_SCHED_DEBUG is not set
97# CONFIG_DEBUG_BUGVERBOSE is not set
98# CONFIG_FTRACE is not set
99