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 /board | |
| 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 'board')
| -rw-r--r-- | board/freescale/pico-imx7d/Kconfig | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/board/freescale/pico-imx7d/Kconfig b/board/freescale/pico-imx7d/Kconfig new file mode 100644 index 0000000000..a581f29d90 --- /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 |