Work is under way to include more controllers supported by the esp-idf SDK. There are currently three xtensa controllers esp32 (lx6), esp32s2 (lx7) and esp32s3 (lx7), where the esp32s2 does not have hardware floating point support, while the esp32 and esp32s3 do. Since the esp32s2 and esp32s3 are part of the same subarch, one cannot specify a floating point option for the subarch, since the one controller does not support it.

Would it make sense to move the esp32s3 controller to a new subarch (lx7hf), so that the -Cfhard option can be specified in the MakeFile for freertos target? And if accepted, should the esp32 subarch be changed to lx6hf to be consistent in nomenclature?

How would this affect the xtensa-linux target?

Christo