1 CONFIG_SYSVIPC=y 2 CONFIG_POSIX_MQUEUE=y 3 CONFIG_NO_HZ_IDLE=y 4 CONFIG_HIGH_RES_TIMERS=y 5 CONFIG_PREEMPT=y 6 CONFIG_IRQ_TIME_ACCOUNTING=y 7 CONFIG_BSD_PROCESS_ACCT=y 8 CONFIG_MEMCG=y 9 CONFIG_CGROUP_FREEZER=y 10 CONFIG_CGROUP_DEVICE=y 11 CONFIG_CGROUP_CPUACCT=y 12 CONFIG_CGROUP_DEBUG=y 13 CONFIG_NAMESPACES=y 14 CONFIG_SCHED_AUTOGROUP=y 15 CONFIG_RELAY=y 16 CONFIG_BLK_DEV_INITRD=y 17 CONFIG_EXPERT=y 18 CONFIG_KALLSYMS_ALL=y 19 CONFIG_PROFILING=y 20 CONFIG_XTENSA_VARIANT_DC233C=y 21 CONFIG_XTENSA_UNALIGNED_USER=y 22 CONFIG_XIP_KERNEL=y 23 CONFIG_XIP_DATA_ADDR=0xd0000000 24 CONFIG_KERNEL_VIRTUAL_ADDRESS=0xe6000000 25 CONFIG_KERNEL_LOAD_ADDRESS=0xf6000000 26 CONFIG_XTENSA_KSEG_512M=y 27 CONFIG_HIGHMEM=y 28 CONFIG_XTENSA_PLATFORM_XTFPGA=y 29 CONFIG_CMDLINE_BOOL=y 30 CONFIG_CMDLINE="earlycon=uart8250,mmio32native,0xfd050020,115200n8 console=ttyS0,115200n8 ip=dhcp root=/dev/nfs rw debug memmap=0x38000000@0" 31 CONFIG_USE_OF=y 32 CONFIG_BUILTIN_DTB_SOURCE="kc705" 33 # CONFIG_PARSE_BOOTPARAM is not set 34 # CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set 35 # CONFIG_COMPACTION is not set 36 CONFIG_NET=y 37 CONFIG_PACKET=y 38 CONFIG_UNIX=y 39 CONFIG_INET=y 40 CONFIG_IP_MULTICAST=y 41 CONFIG_IP_PNP=y 42 CONFIG_IP_PNP_DHCP=y 43 CONFIG_IP_PNP_BOOTP=y 44 CONFIG_IP_PNP_RARP=y 45 # CONFIG_IPV6 is not set 46 CONFIG_NETFILTER=y 47 # CONFIG_WIRELESS is not set 48 CONFIG_UEVENT_HELPER=y 49 CONFIG_DEVTMPFS=y 50 CONFIG_DEVTMPFS_MOUNT=y 51 # CONFIG_STANDALONE is not set 52 CONFIG_BLK_DEV_LOOP=y 53 CONFIG_BLK_DEV_RAM=y 54 CONFIG_SCSI=y 55 CONFIG_BLK_DEV_SD=y 56 CONFIG_NETDEVICES=y 57 # CONFIG_NET_VENDOR_ARC is not set 58 # CONFIG_NET_VENDOR_BROADCOM is not set 59 # CONFIG_NET_VENDOR_INTEL is not set 60 # CONFIG_NET_VENDOR_MARVELL is not set 61 # CONFIG_NET_VENDOR_MICREL is not set 62 # CONFIG_NET_VENDOR_NATSEMI is not set 63 # CONFIG_NET_VENDOR_SAMSUNG is not set 64 # CONFIG_NET_VENDOR_SEEQ is not set 65 # CONFIG_NET_VENDOR_SMSC is not set 66 # CONFIG_NET_VENDOR_STMICRO is not set 67 # CONFIG_NET_VENDOR_VIA is not set 68 # CONFIG_NET_VENDOR_WIZNET is not set 69 CONFIG_MARVELL_PHY=y 70 # CONFIG_WLAN is not set 71 # CONFIG_INPUT_KEYBOARD is not set 72 # CONFIG_INPUT_MOUSE is not set 73 # CONFIG_SERIO is not set 74 CONFIG_SERIAL_8250=y 75 # CONFIG_SERIAL_8250_DEPRECATED_OPTIONS is not set 76 CONFIG_SERIAL_8250_CONSOLE=y 77 CONFIG_SERIAL_OF_PLATFORM=y 78 # CONFIG_HWMON is not set 79 CONFIG_WATCHDOG=y 80 CONFIG_WATCHDOG_NOWAYOUT=y 81 CONFIG_SOFT_WATCHDOG=y 82 # CONFIG_VGA_CONSOLE is not set 83 # CONFIG_USB_SUPPORT is not set 84 # CONFIG_IOMMU_SUPPORT is not set 85 CONFIG_EXT3_FS=y 86 CONFIG_FANOTIFY=y 87 CONFIG_VFAT_FS=y 88 CONFIG_PROC_KCORE=y 89 CONFIG_TMPFS=y 90 CONFIG_TMPFS_POSIX_ACL=y 91 CONFIG_NFS_FS=y 92 CONFIG_NFS_V4=y 93 CONFIG_NFS_SWAP=y 94 CONFIG_ROOT_NFS=y 95 CONFIG_SUNRPC_DEBUG=y 96 CONFIG_NLS_CODEPAGE_437=y 97 CONFIG_NLS_ISO8859_1=y 98 CONFIG_CRYPTO_ECHAINIV=y 99 CONFIG_CRYPTO_DEFLATE=y 100 CONFIG_CRYPTO_LZO=y 101 CONFIG_CRYPTO_ANSI_CPRNG=y 102 CONFIG_PRINTK_TIME=y 103 CONFIG_DYNAMIC_DEBUG=y 104 CONFIG_DEBUG_INFO_DWARF_TOOLCHAIN_DEFAULT=y 105 CONFIG_MAGIC_SYSRQ=y 106 CONFIG_DETECT_HUNG_TASK=y 107 # CONFIG_SCHED_DEBUG is not set 108 CONFIG_SCHEDSTATS=y 109 CONFIG_DEBUG_RT_MUTEXES=y 110 CONFIG_DEBUG_SPINLOCK=y 111 CONFIG_DEBUG_MUTEXES=y 112 CONFIG_DEBUG_ATOMIC_SLEEP=y 113 CONFIG_STACKTRACE=y 114 CONFIG_RCU_TRACE=y 115 # CONFIG_FTRACE is not set 116 # CONFIG_S32C1I_SELFTEST is not set
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.