virtex5_defconfig 2.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990
  1. CONFIG_44x=y
  2. CONFIG_EXPERIMENTAL=y
  3. # CONFIG_LOCALVERSION_AUTO is not set
  4. CONFIG_SYSVIPC=y
  5. CONFIG_POSIX_MQUEUE=y
  6. CONFIG_IKCONFIG=y
  7. CONFIG_IKCONFIG_PROC=y
  8. CONFIG_LOG_BUF_SHIFT=14
  9. CONFIG_BLK_DEV_INITRD=y
  10. # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
  11. CONFIG_SLAB=y
  12. CONFIG_MODULES=y
  13. CONFIG_MODULE_UNLOAD=y
  14. CONFIG_MODULE_FORCE_UNLOAD=y
  15. CONFIG_MODVERSIONS=y
  16. # CONFIG_BLK_DEV_BSG is not set
  17. # CONFIG_EBONY is not set
  18. CONFIG_XILINX_VIRTEX440_GENERIC_BOARD=y
  19. CONFIG_PREEMPT=y
  20. CONFIG_MATH_EMULATION=y
  21. CONFIG_CMDLINE_BOOL=y
  22. CONFIG_CMDLINE=""
  23. CONFIG_NET=y
  24. CONFIG_PACKET=y
  25. CONFIG_UNIX=y
  26. CONFIG_INET=y
  27. CONFIG_IP_MULTICAST=y
  28. CONFIG_IP_PNP=y
  29. CONFIG_IP_PNP_DHCP=y
  30. CONFIG_IP_PNP_BOOTP=y
  31. # CONFIG_INET_LRO is not set
  32. CONFIG_NETFILTER=y
  33. CONFIG_IP_NF_IPTABLES=m
  34. CONFIG_IP_NF_FILTER=m
  35. CONFIG_IP_NF_MANGLE=m
  36. CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
  37. CONFIG_PROC_DEVICETREE=y
  38. CONFIG_BLK_DEV_LOOP=y
  39. CONFIG_BLK_DEV_RAM=y
  40. CONFIG_BLK_DEV_RAM_SIZE=8192
  41. CONFIG_XILINX_SYSACE=y
  42. CONFIG_NETDEVICES=y
  43. CONFIG_NET_ETHERNET=y
  44. CONFIG_MII=y
  45. # CONFIG_NETDEV_10000 is not set
  46. # CONFIG_SERIO_I8042 is not set
  47. # CONFIG_SERIO_SERPORT is not set
  48. CONFIG_SERIO_XILINX_XPS_PS2=y
  49. CONFIG_SERIAL_8250=y
  50. CONFIG_SERIAL_8250_CONSOLE=y
  51. CONFIG_SERIAL_UARTLITE=y
  52. CONFIG_SERIAL_UARTLITE_CONSOLE=y
  53. CONFIG_SERIAL_OF_PLATFORM=y
  54. CONFIG_XILINX_HWICAP=y
  55. CONFIG_GPIOLIB=y
  56. CONFIG_GPIO_SYSFS=y
  57. CONFIG_GPIO_XILINX=y
  58. # CONFIG_HWMON is not set
  59. CONFIG_FB=y
  60. CONFIG_FB_XILINX=y
  61. CONFIG_FRAMEBUFFER_CONSOLE=y
  62. CONFIG_FONTS=y
  63. CONFIG_FONT_8x8=y
  64. CONFIG_FONT_8x16=y
  65. CONFIG_LOGO=y
  66. # CONFIG_HID_SUPPORT is not set
  67. # CONFIG_USB_SUPPORT is not set
  68. CONFIG_EXT2_FS=y
  69. CONFIG_INOTIFY=y
  70. CONFIG_AUTOFS_FS=y
  71. CONFIG_AUTOFS4_FS=y
  72. CONFIG_MSDOS_FS=y
  73. CONFIG_VFAT_FS=y
  74. CONFIG_TMPFS=y
  75. CONFIG_CRAMFS=y
  76. CONFIG_ROMFS_FS=y
  77. CONFIG_NFS_FS=y
  78. CONFIG_NFS_V3=y
  79. CONFIG_ROOT_NFS=y
  80. CONFIG_NLS_CODEPAGE_437=y
  81. CONFIG_NLS_ASCII=m
  82. CONFIG_NLS_ISO8859_1=m
  83. CONFIG_NLS_UTF8=m
  84. CONFIG_CRC_CCITT=y
  85. CONFIG_PRINTK_TIME=y
  86. CONFIG_DEBUG_KERNEL=y
  87. CONFIG_DEBUG_INFO=y
  88. # CONFIG_RCU_CPU_STALL_DETECTOR is not set
  89. CONFIG_SYSCTL_SYSCALL_CHECK=y
  90. # CONFIG_CRYPTO_ANSI_CPRNG is not set