From 7dc253b8ef36270ae58607ab61d7ab61d3c719b8 Mon Sep 17 00:00:00 2001 From: Yu Shan Date: Wed, 15 Aug 2018 18:06:04 -0400 Subject: 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 --- board/freescale/pico-imx7d/Kconfig | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 board/freescale/pico-imx7d/Kconfig (limited to 'board') 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 -- cgit v1.2.3