Why would it be a game changer? It seems a heavy hammer for what is actually needed. FreeRTOS itself is already really incredibly fat.

(Worthy goal though I agree there. Fun at the minimum.)

For whom? There are already plenty of POSIX options, and with business friendly licenses.