3 ms·

The actual open source OS (OxidOS is proprietary): https://tockos.org/ https://tockos.org/

IshKebab 3y ago
They're pretty open about that in fairness. Doesn't look like there's any overlap between the TockOS developers and this team.
- CharlesW 3y ago
  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.
  - IshKebab 3y ago
    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?
    - CharlesW 3y ago
      > 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.
      - IshKebab 3y ago
        The definition of OS is not as strict as you are imagining. You could equally say Android sits on top of the "real" Linux OS. "But Linux is just a kernel, not an OS!" Oh so is FreeRTOS not an OS? What about the "Little Kernel Embedded OS"? You're nitpicking imaginary definitions.
    - NoahKAndrews 3y ago
      Fuschia literally is a ground-up OS with its own kernel (your point is well-made with regards to Android though)
      - IshKebab 3y ago
        Fuchsia's kernel is based on the Little Kernel embedded OS. https://github.com/littlekernel/lk https://github.com/littlekernel/lk
- danielwrosner 3y ago
  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 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.

They're pretty open about that in fairness. Doesn't look like there's any overlap between the TockOS developers and this team.

CharlesW 3y ago
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.
- IshKebab 3y ago
  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?
  - CharlesW 3y ago
    > 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.
    - IshKebab 3y ago
      The definition of OS is not as strict as you are imagining. You could equally say Android sits on top of the "real" Linux OS. "But Linux is just a kernel, not an OS!" Oh so is FreeRTOS not an OS? What about the "Little Kernel Embedded OS"? You're nitpicking imaginary definitions.
  - NoahKAndrews 3y ago
    Fuschia literally is a ground-up OS with its own kernel (your point is well-made with regards to Android though)
    - IshKebab 3y ago
      Fuchsia's kernel is based on the Little Kernel embedded OS. https://github.com/littlekernel/lk https://github.com/littlekernel/lk
danielwrosner 3y ago
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 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.