[pjmlp]

I for one like it is ESP-IDF with FreeRTOS, at least we get some variation.

[jolmg]

Would be nice to be able to rely on a bit of the same tooling as other general purpose computing devices.

[pjmlp]

There are other means to achieve that without Linux monoculture.