Hi everyone, small disclaimer, I am the CEO of OxidOS. OxidOS is basically Tock OS + Certification Documents + Tests and some proprietary drivers (which our clients do not agree to publish into open source). We try to submit into upstream any changes that we need to make to Tock OS to make it better suited for the safety critical market and regularly pull new changes (as much as possible due to certification reasons). Just look at the CAN support, Ethernet support (in progress) and many other PRs that our team has sent.

We work closely with the Tock OS' core working group, me being one of its members.

Please feel free to reach out if you have any questions related to this.