I made it half way down the page before I realized this wasn’t “ArduinOS”.
I can’t be the only one.
I can’t be the only one.
Edit: or I'm dumb and the author's name is Anduin.
Some of them are powerful enough that they could probably run a full desktop Linux comfortably.
In fact, the arduino port on esp32 is just a task of FreeRTOS, a multitasking kernel.