Hi! This is Daniel from OxidOS Automotive (stating this for disclaimer purposes).
Yes, our OS is based on TockOS, and our CEO (Alexandru Radovici) is #7 in the contributors list (https://github.com/tock/tock/graphs/contributors), with other colleagues contributing in the past years.
Of course, we also push anything that we fix / that is useful for the general Tockos community upstream.
We can't know the intent, but I called it out because the "Based on open source" on the front page and even the name (since OxidOS is not the OS) seems designed to mislead.
I don't think that's fair. They explicitly name Tock in literally the second sentence on their front page.
I'm not sure what you mean about OxidOS not being the OS? It's still an OS even if it is heavily based on an existing OS. Is Android not an OS? Fuchsia?
> I'm not sure what you mean about OxidOS not being the OS?
Meaning, it's sort of "GEOS" in that although it has "OS" in the name, it sits on top of the "real" OS. Tock is apparently its "native" kernel/OS, but it can also sit on QNX and Linux in the form of a Wasm runtime.
Android is an OS that uses a heavily-customized Linux kernel.
