Topic: Required Configuration Files (config.h, settings.h, options.h)
I'm building for two platforms: one is Linux, the other is bare-metal with an OEM board support package, and they both use the same processor (Arm 926 EJS). I've got the Linux version working fine and am about to move to the bare-metal version. I'm confused about the various configuration files such as config.h, settings.h, and options.h. I was particularly surprised that rerunning the configure script did not seem to modify config.h.
When I go to the non-Linux make system of the OEM BSP (that will not use the makefile generated by the configure script), which header files do I need to be concerned with to make sure all the required #define's are correct? More generally, what are the outputs of the configure script.