https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68456
--- Comment #7 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- On Tue, 24 Nov 2015, vaalfreja at gmail dot com wrote: > And why newlib-stdint header is used in this case? I haven't used any > newlib-related options in configure. These targets still have different types > for UINT32_TYPE. Bare-metal targets such as i586-elf are presumed to use newlib. If you require something incompatible with newlib's choice of types, you'll need a separate GCC configuration using a different choice of these types (or replace GCC's <stdint.h> wrapper, though that won't affect built-in uses of the types).