https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100057
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |build --- Comment #18 from Richard Biener <rguenth at gcc dot gnu.org> --- So first of all --disable-hosted-libstdcxx doesn't work up to its standard? But maybe it's just specifics for x86_64-elf and other targets work fine here. Did you try forcing -ffreestanding for target library build with CFLAGS_FOR_TARGET="-g -O2 -ffreestanding" ../configure ....? Because libstdc++ may not be the only target library with the stdint.h issue.