If other headers must be overridden (not usually necessary with a simple port), then the new versions can be placed in libc/machine/arch/machine within the newlib directory. These header files will be used in preference to those in the standard distribution's machine header directory.