8 ms·

Building new operating systems seems so ambitious to me. Radiant Computer (https://radiant.computer/ https://radiant.computer/) was also recently posted. What

Building new operating systems seems so ambitious to me. Radiant Computer (https://radiant.computer/ https://radiant.computer/) was also recently posted. What other exciting projects like these exist?

ivanjermakov 11mo ago
https://serenityos.org/ https://serenityos.org/
- aloisdg 11mo ago
  [flagged]
  - coolKid721 11mo ago
    [flagged]
- sharts 11mo ago
  This looks perfect. Just wonder how the hardware /software support goes
  - deleted 11mo ago
    [deleted]
attila-lendvai 11mo ago
it seems to be little more than a mission statement... no?
lifty 11mo ago
https://asterinas.github.io/ https://asterinas.github.io/ (Linux compatible Kernel) and https://redox-os.org/ https://redox-os.org/ are two promising ones.
- criticalfault 11mo ago
  I wonder why all of these do not use gpl2?
  - floam 11mo ago
    I wouldn’t kneecap a OS project I wish to be adopted by licensing it GPL. Look at glibc which basically can’t practically support static linking. You make any of your OS standard libraries GPL and they need to suck to use and can’t statically link your code without being forced to also be licensed GPL. That viral property some people find desirable.
    - criticalfault 11mo ago
      Isn't this what made Linux successful? Being able to sell it closed and not releasing the source would make closing the android ecosystem 'good old times', no? We would only get a bunch of closed outdated company controlled binaries, but now for everything, not only drivers?
    - heavyset_go 11mo ago
      WRT kneecapping, history has shown that companies will bleed the commons dry and they need to be legally strong-armed into contributing back to the free software projects they make their fortunes off of. Virality might suit the ego, but it doesn't make for a healthy project when its primary users are parasitic.
      - bigstrat2003 11mo ago
        > history has shown that companies will bleed the commons dry and they need to be legally strong-armed into contributing back to the free software projects they make their fortunes off of. Software is not a scarce good. Let companies use free software without contributing back as much as they wish; it doesn't affect others in the least. There is no bleeding of the commons here, because even if companies take as much as they can without giving back, it doesn't reduce the resources available for others.
chrsw 11mo ago
Not new, but alternative https://www.haiku-os.org/ https://www.haiku-os.org/
zzo38computer 11mo ago
I have ideas as well, and wrote about some of them (including some partial specifications), although I do not have a name for my own, so due to this, there is not a repository or anything like that yet. Note that, there are multiple parts, and different projects will have a different set of these parts: hardware, kernel, user/application programs; my ideas involve all three (there may be other parts, and different ways to divide them, too).
Iwan-Zotow 11mo ago
There is always Plan9
accrual 11mo ago
ReactOS continues to move forward! I know it's based on something extant and not net new, but it's still a new OS in my eyes. https://reactos.org/blogs/ https://reactos.org/blogs/
snvzz 11mo ago
The most important effort is seL4[0], the fastest OS kernel out there which also happens to be the most formally verified. LionsOS[1] is its static scenario building framework, with some dynamic scenario support. Genode[2] is an independent OS construction kit that can also use the seL4 kernel. Their general purpose OS, Sculpt, just had a very interesting multi-kernel release[3]. The systems group at ETHZürich is building Kirsch[4], an effort with seL4 and CHERI. Managarm[5] is also building something of interesting architecture with some Linux software compatibility. 0, https://sel4.systems/ https://sel4.systems/ 1. https://trustworthy.systems/projects/LionsOS/ https://trustworthy.systems/projects/LionsOS/ 2. https://genode.org/ https://genode.org/ 3. https://genodians.org/alex-ab/2025-11-02-sculpt-multi-kernel https://genodians.org/alex-ab/2025-11-02-sculpt-multi-kernel 4. https://sockeye.ethz.ch/kirsch/ https://sockeye.ethz.ch/kirsch/ 5. https://managarm.org/ https://managarm.org/
- vacuity 11mo ago
  Note: IPC performance isn't the only factor in overall OS performance. Especially for a "traditional microkernel", where programs are split up into separate processes liberally, performance degrades due to the sheer number of cross-boundary interactions. A whole system is performant if the design of the whole system, not just the design of the kernel, is aligned with performance. This is not to put down seL4; on the other hand, it continues the trend of L4 microkernels demonstrating the viability of stricter designs. But keep in mind that more time and effort is necessary to implement larger systems well.
  - snvzz 11mo ago
    Do not miss the latest seL4 summit's state of seL4 talk by Gernot Heiser[0], which besides providing an update on the work done this year, goes into performance[1]. This is real world throughput and latency seL4 is crushing Linux on, not some synthetic IPC benchmark. 0. https://www.youtube.com/watch?v=wP48V34lDhk https://www.youtube.com/watch?v=wP48V34lDhk 1. https://youtu.be/wP48V34lDhk?t=1199 https://youtu.be/wP48V34lDhk?t=1199
    - vacuity 11mo ago

ivanjermakov 11mo ago

https://serenityos.org/ https://serenityos.org/

aloisdg 11mo ago
[flagged]
- coolKid721 11mo ago
  [flagged]
sharts 11mo ago
This looks perfect. Just wonder how the hardware /software support goes
- deleted 11mo ago
  [deleted]

attila-lendvai 11mo ago

it seems to be little more than a mission statement... no?

lifty 11mo ago

https://asterinas.github.io/ https://asterinas.github.io/ (Linux compatible Kernel) and https://redox-os.org/ https://redox-os.org/ are two promising ones.

criticalfault 11mo ago
I wonder why all of these do not use gpl2?
- floam 11mo ago
  I wouldn’t kneecap a OS project I wish to be adopted by licensing it GPL. Look at glibc which basically can’t practically support static linking. You make any of your OS standard libraries GPL and they need to suck to use and can’t statically link your code without being forced to also be licensed GPL. That viral property some people find desirable.
  - criticalfault 11mo ago
    Isn't this what made Linux successful? Being able to sell it closed and not releasing the source would make closing the android ecosystem 'good old times', no? We would only get a bunch of closed outdated company controlled binaries, but now for everything, not only drivers?
  - heavyset_go 11mo ago
    WRT kneecapping, history has shown that companies will bleed the commons dry and they need to be legally strong-armed into contributing back to the free software projects they make their fortunes off of. Virality might suit the ego, but it doesn't make for a healthy project when its primary users are parasitic.
    - bigstrat2003 11mo ago
      > history has shown that companies will bleed the commons dry and they need to be legally strong-armed into contributing back to the free software projects they make their fortunes off of. Software is not a scarce good. Let companies use free software without contributing back as much as they wish; it doesn't affect others in the least. There is no bleeding of the commons here, because even if companies take as much as they can without giving back, it doesn't reduce the resources available for others.

chrsw 11mo ago

Not new, but alternative https://www.haiku-os.org/ https://www.haiku-os.org/

zzo38computer 11mo ago

I have ideas as well, and wrote about some of them (including some partial specifications), although I do not have a name for my own, so due to this, there is not a repository or anything like that yet. Note that, there are multiple parts, and different projects will have a different set of these parts: hardware, kernel, user/application programs; my ideas involve all three (there may be other parts, and different ways to divide them, too).

Iwan-Zotow 11mo ago

There is always Plan9

accrual 11mo ago

ReactOS continues to move forward! I know it's based on something extant and not net new, but it's still a new OS in my eyes. https://reactos.org/blogs/ https://reactos.org/blogs/

snvzz 11mo ago

The most important effort is seL4[0], the fastest OS kernel out there which also happens to be the most formally verified. LionsOS[1] is its static scenario building framework, with some dynamic scenario support. Genode[2] is an independent OS construction kit that can also use the seL4 kernel. Their general purpose OS, Sculpt, just had a very interesting multi-kernel release[3]. The systems group at ETHZürich is building Kirsch[4], an effort with seL4 and CHERI. Managarm[5] is also building something of interesting architecture with some Linux software compatibility. 0, https://sel4.systems/ https://sel4.systems/ 1. https://trustworthy.systems/projects/LionsOS/ https://trustworthy.systems/projects/LionsOS/ 2. https://genode.org/ https://genode.org/ 3. https://genodians.org/alex-ab/2025-11-02-sculpt-multi-kernel https://genodians.org/alex-ab/2025-11-02-sculpt-multi-kernel 4. https://sockeye.ethz.ch/kirsch/ https://sockeye.ethz.ch/kirsch/ 5. https://managarm.org/ https://managarm.org/

vacuity 11mo ago
Note: IPC performance isn't the only factor in overall OS performance. Especially for a "traditional microkernel", where programs are split up into separate processes liberally, performance degrades due to the sheer number of cross-boundary interactions. A whole system is performant if the design of the whole system, not just the design of the kernel, is aligned with performance. This is not to put down seL4; on the other hand, it continues the trend of L4 microkernels demonstrating the viability of stricter designs. But keep in mind that more time and effort is necessary to implement larger systems well.
- snvzz 11mo ago
  Do not miss the latest seL4 summit's state of seL4 talk by Gernot Heiser[0], which besides providing an update on the work done this year, goes into performance[1]. This is real world throughput and latency seL4 is crushing Linux on, not some synthetic IPC benchmark. 0. https://www.youtube.com/watch?v=wP48V34lDhk https://www.youtube.com/watch?v=wP48V34lDhk 1. https://youtu.be/wP48V34lDhk?t=1199 https://youtu.be/wP48V34lDhk?t=1199
  - vacuity 11mo ago