Re: [PATCH v2 03/28] mbedtls: add mbedtls into the build system

On Tue, May 07, 2024 at 10:50:45AM -0700, Raymond Mao wrote:

Port mbedtls with dummy libc header files. Add mbedtls default config header file. Optimize mbedtls default config by disabling unused features to reduce the target size. Add mbedtls kbuild makefile. Add Kconfig and mbedtls config submenu.

[snip]

diff --git a/include/stdio.h b/include/stdio.h index 3241e2d493f..874279c60dd 100644 --- a/include/stdio.h +++ b/include/stdio.h @@ -3,6 +3,7 @@

#include <stdarg.h> #include <linux/compiler.h> +#include <vsprintf.h>

/* stdin */ int getchar(void);

Is this really needed? I know our include structure is a bit odd. Should we perhaps look at moving a prototype or two around to be more broadly compatible?