linux-nommu.config 1.0 KB

123456789101112131415161718192021222324252627282930313233343536373839
  1. CONFIG_NO_HZ_IDLE=y
  2. CONFIG_HIGH_RES_TIMERS=y
  3. CONFIG_BLK_DEV_INITRD=y
  4. CONFIG_XTENSA_VARIANT_CUSTOM=y
  5. CONFIG_XTENSA_VARIANT_CUSTOM_NAME="dc233c"
  6. # CONFIG_XTENSA_VARIANT_MMU is not set
  7. CONFIG_XTENSA_UNALIGNED_USER=y
  8. CONFIG_PREEMPT=y
  9. CONFIG_MEMMAP_CACHEATTR=0x2cccccc7
  10. CONFIG_KERNEL_LOAD_ADDRESS=0x00003000
  11. # CONFIG_PCI is not set
  12. CONFIG_XTENSA_PLATFORM_XTFPGA=y
  13. CONFIG_CMDLINE_BOOL=y
  14. CONFIG_CMDLINE="earlycon=uart8250,mmio32,0xfd050020,115200n8 console=ttyS0,115200n8 memmap=0x04000000@0"
  15. CONFIG_DEFAULT_MEM_START=0x00000000
  16. CONFIG_BINFMT_FLAT=y
  17. CONFIG_NET=y
  18. CONFIG_PACKET=y
  19. CONFIG_UNIX=y
  20. CONFIG_INET=y
  21. # CONFIG_IPV6 is not set
  22. CONFIG_NETFILTER=y
  23. CONFIG_DNS_RESOLVER=y
  24. # CONFIG_WIRELESS is not set
  25. CONFIG_DEVTMPFS=y
  26. CONFIG_DEVTMPFS_MOUNT=y
  27. CONFIG_BLK_DEV_LOOP=y
  28. CONFIG_NETDEVICES=y
  29. CONFIG_MARVELL_PHY=y
  30. # CONFIG_WLAN is not set
  31. CONFIG_SERIAL_8250=y
  32. # CONFIG_SERIAL_8250_DEPRECATED_OPTIONS is not set
  33. CONFIG_SERIAL_8250_CONSOLE=y
  34. # CONFIG_HWMON is not set
  35. # CONFIG_VGA_CONSOLE is not set
  36. CONFIG_TMPFS=y
  37. CONFIG_FANOTIFY=y
  38. CONFIG_PRINTK_TIME=y
  39. # CONFIG_S32C1I_SELFTEST is not set