warp7_defconfig 1.8 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677
  1. CONFIG_ARM=y
  2. CONFIG_ARCH_MX7=y
  3. CONFIG_NR_DRAM_BANKS=1
  4. CONFIG_ENV_SIZE=0x2000
  5. CONFIG_ENV_OFFSET=0xC0000
  6. CONFIG_DM_GPIO=y
  7. CONFIG_TARGET_WARP7=y
  8. CONFIG_ARMV7_BOOT_SEC_DEFAULT=y
  9. # CONFIG_ARMV7_VIRT is not set
  10. CONFIG_IMX_RDC=y
  11. CONFIG_IMX_BOOTAUX=y
  12. CONFIG_IMX_HAB=y
  13. CONFIG_DEFAULT_DEVICE_TREE="imx7s-warp"
  14. CONFIG_FIT=y
  15. CONFIG_FIT_VERBOSE=y
  16. CONFIG_SYS_EXTRA_OPTIONS="IMX_CONFIG=board/warp7/imximage.cfg"
  17. CONFIG_BOUNCE_BUFFER=y
  18. CONFIG_HUSH_PARSER=y
  19. # CONFIG_CMD_BOOTD is not set
  20. CONFIG_CMD_BOOTZ=y
  21. # CONFIG_CMD_IMI is not set
  22. # CONFIG_CMD_XIMG is not set
  23. CONFIG_CMD_MEMTEST=y
  24. CONFIG_SYS_MEMTEST_START=0x80000000
  25. CONFIG_SYS_MEMTEST_END=0xa0000000
  26. CONFIG_CMD_DFU=y
  27. CONFIG_CMD_GPIO=y
  28. CONFIG_CMD_MMC=y
  29. CONFIG_CMD_PART=y
  30. CONFIG_CMD_USB=y
  31. CONFIG_CMD_USB_MASS_STORAGE=y
  32. CONFIG_CMD_DHCP=y
  33. CONFIG_CMD_CACHE=y
  34. CONFIG_CMD_EXT2=y
  35. CONFIG_CMD_EXT4=y
  36. CONFIG_CMD_EXT4_WRITE=y
  37. CONFIG_CMD_FAT=y
  38. CONFIG_CMD_FS_GENERIC=y
  39. CONFIG_OF_CONTROL=y
  40. CONFIG_ENV_OVERWRITE=y
  41. CONFIG_SYS_RELOC_GD_ENV_ADDR=y
  42. CONFIG_NET_RANDOM_ETHADDR=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_USB=y
  62. CONFIG_DM_USB=y
  63. CONFIG_USB_EHCI_HCD=y
  64. CONFIG_MXC_USB_OTG_HACTIVE=y
  65. CONFIG_USB_GADGET=y
  66. CONFIG_USB_GADGET_MANUFACTURER="FSL"
  67. CONFIG_USB_GADGET_VENDOR_NUM=0x0525
  68. CONFIG_USB_GADGET_PRODUCT_NUM=0xa4a5
  69. CONFIG_CI_UDC=y
  70. CONFIG_USB_GADGET_DOWNLOAD=y
  71. CONFIG_USB_ETHER=y
  72. CONFIG_USB_ETH_CDC=y
  73. CONFIG_USBNET_HOST_ADDR="de:ad:be:af:00:00"
  74. CONFIG_OPTEE_LOAD_ADDR=0x84000000
  75. CONFIG_OPTEE_TZDRAM_SIZE=0x3000000
  76. CONFIG_OPTEE_TZDRAM_BASE=0x9d000000
  77. CONFIG_BOOTM_OPTEE=y