https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104605
--- Comment #11 from cqwrteur <unlvsur at live dot com> --- (In reply to Arsen Arsenović from comment #10) > Created attachment 53661 [details] > *-elf --without-headers --without-newlib should(?) provide stdint.h > > Try applying this patch. I'll see if it's correct tomorrow and send it > upstream if it is. Also don't forget to tell GCC you don't have newlib via: > --without-newlib --without-headers. can we simplify the settings here? For example --without-headers imply --without-headers and --disable-hosted-libstdcxx and disabling other libraries like libssp, libatomic?