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 /configs | |
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
Diffstat (limited to 'configs')
-rw-r--r-- | configs/pico-imx7d-trusty_defconfig | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configs/pico-imx7d-trusty_defconfig b/configs/pico-imx7d-trusty_defconfig index ba6f47b519..fa4c6e8684 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 |