4 ms·

Notably missing from this list are seL4 and Helios which is based on it. https://ares-os.org/docs/helios/ https://ares-os.org/docs/helios/ The cost of not hav

Notably missing from this list are seL4 and Helios which is based on it. https://ares-os.org/docs/helios/ https://ares-os.org/docs/helios/ The cost of not having proper sandboxing is hard to overstate. Think of all the effort that has gone into linux containers, or VMs just to run another Linux kernel, all because sandboxing was an afterthought. Then there's the stagnation in filesystems and networking, which can be at least partially attributed to the development frictions associated with a monolithic kernel. Organizational politics is interfering with including a filesystem in the Linux kernel right now.

MYEUHD 1y ago
It's not based on it, but inspired from it. Helios was written from scratch.
- alphazard 1y ago
  I don't really understand or appreciate a distinction. The seL4 design was used as a starting point and small changes were made mostly as a matter of API convenience. I consider the design of an operating system to be by far the most difficult part, and the typing to be less impressive/important. Helios hasn't done anything novel in terms of operating system design. It's taken an excellent design and reimplemented it in with a more modern language and built better tooling around it. I tend to point people towards the Helios project instead of seL4 because I think the tooling (especially around drivers) is so much better that it's not even a close comparison for productivity. It's where the open source OS community should be concentrating efforts.
  - forgotpwd16 1y ago
    Usually "based on" means the original codebase is mirrored/extended. Arguably if what you say is true, that is Helios' design has minor differences to seL4, then "based on" in reference to the design is indeed better description than "inspired from" which makes it sound (imo) to have significant changes.
    - gjm11 1y ago
      "... whose design is based on it" would seem to cover all the, er, bases.

MYEUHD 1y ago

It's not based on it, but inspired from it. Helios was written from scratch.

alphazard 1y ago
I don't really understand or appreciate a distinction. The seL4 design was used as a starting point and small changes were made mostly as a matter of API convenience. I consider the design of an operating system to be by far the most difficult part, and the typing to be less impressive/important. Helios hasn't done anything novel in terms of operating system design. It's taken an excellent design and reimplemented it in with a more modern language and built better tooling around it. I tend to point people towards the Helios project instead of seL4 because I think the tooling (especially around drivers) is so much better that it's not even a close comparison for productivity. It's where the open source OS community should be concentrating efforts.
- forgotpwd16 1y ago
  Usually "based on" means the original codebase is mirrored/extended. Arguably if what you say is true, that is Helios' design has minor differences to seL4, then "based on" in reference to the design is indeed better description than "inspired from" which makes it sound (imo) to have significant changes.
  - gjm11 1y ago
    "... whose design is based on it" would seem to cover all the, er, bases.