warp7_defconfig 1.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778
  1. CONFIG_ARM=y
  2. CONFIG_ARCH_MX7=y
  3. CONFIG_NR_DRAM_BANKS=1
  4. CONFIG_SYS_MEMTEST_START=0x80000000
  5. CONFIG_SYS_MEMTEST_END=0xa0000000
  6. CONFIG_ENV_SIZE=0x2000
  7. CONFIG_ENV_OFFSET=0xC0000
  8. CONFIG_DM_GPIO=y
  9. CONFIG_TARGET_WARP7=y
  10. CONFIG_ARMV7_BOOT_SEC_DEFAULT=y
  11. # CONFIG_ARMV7_VIRT is not set
  12. CONFIG_IMX_RDC=y
  13. CONFIG_IMX_BOOTAUX=y
  14. CONFIG_IMX_HAB=y
  15. CONFIG_DEFAULT_DEVICE_TREE="imx7s-warp"
  16. CONFIG_FIT=y
  17. CONFIG_FIT_VERBOSE=y
  18. CONFIG_SYS_EXTRA_OPTIONS="IMX_CONFIG=board/warp7/imximage.cfg"
  19. CONFIG_HUSH_PARSER=y
  20. # CONFIG_CMD_BOOTD is not set
  21. CONFIG_CMD_BOOTZ=y
  22. # CONFIG_CMD_IMI is not set
  23. # CONFIG_CMD_XIMG is not set
  24. CONFIG_CMD_MEMTEST=y
  25. CONFIG_CMD_DFU=y
  26. CONFIG_CMD_GPIO=y
  27. CONFIG_CMD_MMC=y
  28. CONFIG_CMD_PART=y
  29. CONFIG_CMD_USB=y
  30. CONFIG_CMD_USB_MASS_STORAGE=y
  31. CONFIG_CMD_DHCP=y
  32. CONFIG_CMD_CACHE=y
  33. CONFIG_CMD_EXT2=y
  34. CONFIG_CMD_EXT4=y
  35. CONFIG_CMD_EXT4_WRITE=y
  36. CONFIG_CMD_FAT=y
  37. CONFIG_CMD_FS_GENERIC=y
  38. CONFIG_OF_CONTROL=y
  39. CONFIG_ENV_OVERWRITE=y
  40. CONFIG_SYS_RELOC_GD_ENV_ADDR=y
  41. CONFIG_NET_RANDOM_ETHADDR=y
  42. CONFIG_BOUNCE_BUFFER=y
  43. CONFIG_DFU_MMC=y
  44. CONFIG_DM_I2C=y
  45. CONFIG_DM_MMC=y
  46. CONFIG_SUPPORT_EMMC_BOOT=y
  47. CONFIG_FSL_USDHC=y
  48. CONFIG_MTD=y
  49. CONFIG_PINCTRL=y
  50. CONFIG_PINCTRL_IMX7=y
  51. CONFIG_DM_PMIC=y
  52. CONFIG_DM_PMIC_PFUZE100=y
  53. CONFIG_DM_REGULATOR=y
  54. CONFIG_DM_REGULATOR_PFUZE100=y
  55. CONFIG_DM_REGULATOR_FIXED=y
  56. CONFIG_DM_REGULATOR_GPIO=y
  57. CONFIG_SPECIFY_CONSOLE_INDEX=y
  58. CONFIG_DM_SERIAL=y
  59. CONFIG_MXC_UART=y
  60. CONFIG_OPTEE=y
  61. CONFIG_IMX_THERMAL=y
  62. CONFIG_USB=y
  63. CONFIG_DM_USB=y
  64. CONFIG_USB_EHCI_HCD=y
  65. CONFIG_MXC_USB_OTG_HACTIVE=y
  66. CONFIG_USB_GADGET=y
  67. CONFIG_USB_GADGET_MANUFACTURER="FSL"
  68. CONFIG_USB_GADGET_VENDOR_NUM=0x0525
  69. CONFIG_USB_GADGET_PRODUCT_NUM=0xa4a5
  70. CONFIG_CI_UDC=y
  71. CONFIG_USB_GADGET_DOWNLOAD=y
  72. CONFIG_USB_ETHER=y
  73. CONFIG_USB_ETH_CDC=y
  74. CONFIG_USBNET_HOST_ADDR="de:ad:be:af:00:00"
  75. CONFIG_OPTEE_LOAD_ADDR=0x84000000
  76. CONFIG_OPTEE_TZDRAM_SIZE=0x3000000
  77. CONFIG_OPTEE_TZDRAM_BASE=0x9d000000
  78. CONFIG_BOOTM_OPTEE=y