blob: e283aa586934cdb33a2be23955e82bfce5e74394 [file] [log] [blame]
Vineet Gupta5a45da02013-05-25 14:03:25 +05301CONFIG_CROSS_COMPILE="arc-linux-uclibc-"
Vineet Gupta8872e9e2013-01-18 15:12:22 +05302# CONFIG_LOCALVERSION_AUTO is not set
3CONFIG_DEFAULT_HOSTNAME="ARCLinux"
4# CONFIG_SWAP is not set
Vineet Gupta737d5b92013-11-01 19:54:19 +05305CONFIG_SYSVIPC=y
6CONFIG_POSIX_MQUEUE=y
Vineet Gupta8872e9e2013-01-18 15:12:22 +05307CONFIG_HIGH_RES_TIMERS=y
8CONFIG_IKCONFIG=y
9CONFIG_IKCONFIG_PROC=y
10CONFIG_NAMESPACES=y
11# CONFIG_UTS_NS is not set
12# CONFIG_PID_NS is not set
13CONFIG_BLK_DEV_INITRD=y
Vineet Gupta330db332013-04-06 17:37:26 +053014CONFIG_INITRAMFS_SOURCE="../arc_initramfs/"
Vineet Gupta95461a62013-01-18 15:12:26 +053015CONFIG_KALLSYMS_ALL=y
16CONFIG_EMBEDDED=y
17# CONFIG_SLUB_DEBUG is not set
Vineet Gupta8872e9e2013-01-18 15:12:22 +053018# CONFIG_COMPAT_BRK is not set
Vineet Gupta95461a62013-01-18 15:12:26 +053019CONFIG_KPROBES=y
20CONFIG_MODULES=y
Vineet Gupta8872e9e2013-01-18 15:12:22 +053021# CONFIG_LBDAF is not set
22# CONFIG_BLK_DEV_BSG is not set
23# CONFIG_IOSCHED_DEADLINE is not set
24# CONFIG_IOSCHED_CFQ is not set
Vineet Gupta95461a62013-01-18 15:12:26 +053025CONFIG_ARC_PLAT_FPGA_LEGACY=y
26CONFIG_ARC_BOARD_ML509=y
27# CONFIG_ARC_HAS_RTSC is not set
Vineet Gupta8872e9e2013-01-18 15:12:22 +053028CONFIG_ARC_BUILTIN_DTB_NAME="angel4"
Vineet Gupta330db332013-04-06 17:37:26 +053029CONFIG_PREEMPT=y
Vineet Gupta8872e9e2013-01-18 15:12:22 +053030# CONFIG_COMPACTION is not set
31# CONFIG_CROSS_MEMORY_ATTACH is not set
Vineet Gupta95461a62013-01-18 15:12:26 +053032CONFIG_NET=y
33CONFIG_PACKET=y
34CONFIG_UNIX=y
35CONFIG_UNIX_DIAG=y
36CONFIG_NET_KEY=y
37CONFIG_INET=y
38# CONFIG_IPV6 is not set
Vineet Gupta8872e9e2013-01-18 15:12:22 +053039# CONFIG_STANDALONE is not set
40# CONFIG_PREVENT_FIRMWARE_BUILD is not set
41# CONFIG_FIRMWARE_IN_KERNEL is not set
42# CONFIG_BLK_DEV is not set
Alexey Brodkind0e63ed2013-06-26 14:02:18 +040043CONFIG_NETDEVICES=y
44CONFIG_ARC_EMAC=y
45CONFIG_LXT_PHY=y
Vineet Gupta8872e9e2013-01-18 15:12:22 +053046# CONFIG_INPUT_MOUSEDEV_PSAUX is not set
47# CONFIG_INPUT_KEYBOARD is not set
48# CONFIG_INPUT_MOUSE is not set
49# CONFIG_SERIO is not set
50# CONFIG_LEGACY_PTYS is not set
51# CONFIG_DEVKMEM is not set
52CONFIG_SERIAL_ARC=y
53CONFIG_SERIAL_ARC_CONSOLE=y
54# CONFIG_HW_RANDOM is not set
55# CONFIG_HWMON is not set
56# CONFIG_VGA_CONSOLE is not set
57# CONFIG_HID is not set
58# CONFIG_USB_SUPPORT is not set
59# CONFIG_IOMMU_SUPPORT is not set
Vineet Gupta95461a62013-01-18 15:12:26 +053060CONFIG_EXT2_FS=y
61CONFIG_EXT2_FS_XATTR=y
62CONFIG_TMPFS=y
Vineet Gupta8872e9e2013-01-18 15:12:22 +053063# CONFIG_MISC_FILESYSTEMS is not set
Vineet Gupta95461a62013-01-18 15:12:26 +053064CONFIG_NFS_FS=y
Vineet Gupta8872e9e2013-01-18 15:12:22 +053065# CONFIG_ENABLE_WARN_DEPRECATED is not set
66# CONFIG_ENABLE_MUST_CHECK is not set
Vineet Gupta737d5b92013-11-01 19:54:19 +053067# CONFIG_DEBUG_PREEMPT is not set
Vineet Gupta8872e9e2013-01-18 15:12:22 +053068CONFIG_XZ_DEC=y