diff options
author | Yu Shan <shanyu@google.com> | 2018-08-15 18:06:04 -0400 |
---|---|---|
committer | faqiang.zhu <faqiang.zhu@nxp.com> | 2018-11-12 09:18:36 +0800 |
commit | 7dc253b8ef36270ae58607ab61d7ab61d3c719b8 (patch) | |
tree | c369660bdffbbecb7745a686ce50ede846aeb73b | |
parent | 9e3b88f8c0809f3e6a3257ff40b7b57ad6bf6965 (diff) |
Use stdint for uboot.
Because sysdeps.h in trusty include stdint.h, so we need to define
USE_STDINT.
Test: Local build test and flash on imx7d. Verify provision som
key and product key succeed.
Bug: None
Change-Id: I08db7c10dd4453a87f15ff4432335fe4c41f9c5f
-rw-r--r-- | board/freescale/pico-imx7d/Kconfig | 19 | ||||
-rw-r--r-- | configs/pico-imx7d-trusty_defconfig | 1 |
2 files changed, 20 insertions, 0 deletions
diff --git a/board/freescale/pico-imx7d/Kconfig b/board/freescale/pico-imx7d/Kconfig new file mode 100644 index 00000000000..a581f29d905 --- /dev/null +++ b/board/freescale/pico-imx7d/Kconfig @@ -0,0 +1,19 @@ +if TARGET_PICO_IMX7D + +config SYS_BOARD + default "pico-imx7d" + +config SYS_VENDOR + default "freescale" + +config SYS_SOC + default "mx7" + +config SYS_CONFIG_NAME + default "pico-imx7d" + +config USE_STDINT + bool "Whether to use stdint" + default n + +endif diff --git a/configs/pico-imx7d-trusty_defconfig b/configs/pico-imx7d-trusty_defconfig index ba6f47b519b..fa4c6e86841 100644 --- a/configs/pico-imx7d-trusty_defconfig +++ b/configs/pico-imx7d-trusty_defconfig @@ -37,3 +37,4 @@ CONFIG_USB_STORAGE=y CONFIG_OF_LIBFDT=y CONFIG_AVB_SUPPORT=y CONFIG_AVB_ATX=y +CONFIG_USE_STDINT=y |