1 # CONFIG_ARM_PATCH_PHYS_VIRT is not set
7 CONFIG_LOG_BUF_SHIFT=16
8 CONFIG_CC_OPTIMIZE_FOR_SIZE=y
9 CONFIG_SYSCTL_SYSCALL=y
13 # CONFIG_BLK_DEV_BSG is not set
14 # CONFIG_IOSCHED_DEADLINE is not set
15 # CONFIG_IOSCHED_CFQ is not set
16 CONFIG_ARCH_SHMOBILE=y
19 CONFIG_MEMORY_START=0x40000000
20 CONFIG_MEMORY_SIZE=0x10000000
21 # CONFIG_SH_TIMER_TMU is not set
22 # CONFIG_SWP_EMULATE is not set
23 # CONFIG_CACHE_L2X0 is not set
27 # CONFIG_LOCAL_TIMERS is not set
29 # CONFIG_OABI_COMPAT is not set
30 # CONFIG_CROSS_MEMORY_ATTACH is not set
31 CONFIG_FORCE_MAX_ZONEORDER=13
32 CONFIG_ZBOOT_ROM_TEXT=0x0
33 CONFIG_ZBOOT_ROM_BSS=0x0
34 CONFIG_ARM_APPENDED_DTB=y
35 CONFIG_CMDLINE="console=tty0 console=ttyS1,115200n81 earlyprintk=serial8250-em.1,115200n81 mem=128M@0x40000000 ignore_loglevel root=/dev/nfs ip=dhcp nfsroot=,rsize=4096,wsize=4096"
36 CONFIG_CMDLINE_FORCE=y
38 # CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set
39 # CONFIG_SUSPEND is not set
46 # CONFIG_INET_XFRM_MODE_TRANSPORT is not set
47 # CONFIG_INET_XFRM_MODE_TUNNEL is not set
48 # CONFIG_INET_XFRM_MODE_BEET is not set
49 # CONFIG_INET_LRO is not set
50 # CONFIG_INET_DIAG is not set
51 # CONFIG_IPV6 is not set
52 # CONFIG_WIRELESS is not set
53 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
54 # CONFIG_BLK_DEV is not set
56 # CONFIG_NET_VENDOR_BROADCOM is not set
57 # CONFIG_NET_VENDOR_CHELSIO is not set
58 # CONFIG_NET_VENDOR_CIRRUS is not set
59 # CONFIG_NET_VENDOR_FARADAY is not set
60 # CONFIG_NET_VENDOR_INTEL is not set
61 # CONFIG_NET_VENDOR_MARVELL is not set
62 # CONFIG_NET_VENDOR_MICREL is not set
63 # CONFIG_NET_VENDOR_NATSEMI is not set
64 # CONFIG_NET_VENDOR_SEEQ is not set
66 # CONFIG_NET_VENDOR_STMICRO is not set
67 # CONFIG_NET_VENDOR_WIZNET is not set
68 # CONFIG_WLAN is not set
69 # CONFIG_INPUT_MOUSEDEV is not set
70 # CONFIG_INPUT_KEYBOARD is not set
71 # CONFIG_INPUT_MOUSE is not set
72 # CONFIG_SERIO is not set
73 # CONFIG_LEGACY_PTYS is not set
74 # CONFIG_DEVKMEM is not set
76 CONFIG_SERIAL_8250_CONSOLE=y
77 CONFIG_SERIAL_8250_EM=y
78 # CONFIG_HW_RANDOM is not set
81 # CONFIG_HWMON is not set
82 # CONFIG_HID_SUPPORT is not set
83 # CONFIG_USB_SUPPORT is not set
84 # CONFIG_IOMMU_SUPPORT is not set
85 # CONFIG_DNOTIFY is not set
87 # CONFIG_MISC_FILESYSTEMS is not set
90 # CONFIG_FTRACE is not set