POSIX standardizes the OS interface (API), not the resulting binary.
Whether your binary is POSIX compatible is not a matter of NuttX,
but of your configuration. The standard applies to source code, not
compilation results
My point exactly.
Obviously, the point of difference in opinion is where the line should
be drawn with regards to if the compilation result must be solely the
work of the compiler, or if (and how much) you are allowed to nudge it
in the right direction.
Anyway, the PR on GitHub seems to have support in its current form and
we're going slightly off-topic here so I think that unless you have
something to add, we may want to stop here. Thanks for the discussion
though.