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.
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.