I'll presume you know best about the choices of stdint.h types. You may wish to consider what the correct value of use_gcc_stdint is - the default "none" (rely on the system's header), or "wrap" (use GCC's header in freestanding mode) or "provide" (always use GCC's header).
Note that GCC's header includes support for TS 18661-1 integer width macros, and the testsuite verifies these work in freestanding mode. So if you use "none" but your system's header lacks support for these macros, you'll have test failures. -- Joseph S. Myers jos...@codesourcery.com
