Yeah, I clicked expecting it to be some madman who made a multitasking kernel for Arduino. What I actually got wasn't nearly as exciting.

Arduino is just a fancy HAL that hobbyists like to use. So yeah nothing about it prevent you writting kernel.

In fact, the arduino port on esp32 is just a task of FreeRTOS, a multitasking kernel.