AFAIK it isn’t a declared term my left shoe is my first general purpose operating system, if i toss an esp32 in there i can probably call it linux too.