5 ms·

Check out Redox OS. Takes a lot of inspiration from Minix.

by ilaksh 6y ago

huachimingo 6y ago
See also Haiku OS[1], same but from BeOS. Looks very promising, but they are still on Beta. [1]https://www.haiku-os.org/ https://www.haiku-os.org/
- tialaramex 6y ago
  Mmm. Redox has a microkernel like Minix, but written in Rust, so that it's potentially safer or at least easier to reason about what might be unsafe and why. Haiku is a conventional monolithic design, like BeOS, in fact arguably more so than shipped releases of BeOS because BeOS had a separate TCP/IP stack which made its network performance abysmal, Be Inc. had been working to fix that by just plonking the entire stack inside the kernel, and Haiku copies this approach. Like BeOS, Haiku is written in some specific dialect of C++. So the main similarity is that Haiku also hasn't shipped a version 1. Although that's maybe more striking after 20 years of development than Redox's 5-6 years.
  - accurrent 6y ago
    Building an operating system is very hard. I'm not surprised that haiku is not yet 1.0. I would be surprised if redox os hit 1.0. It takes a lot of investment and unless you are targeting a few device (like apple does) it is almost impossible to have perfect compatibility with the huge variety of PC hardware out there.
  - qchris 6y ago
    I'm having trouble finding the thread, but I believe the lead developer has stated that even in the kernel, the code only sits at something like 20-30% unsafe anyway, which is a huge reduction in overall vulnerable surface area.
tyingq 6y ago
I suppose https://fuchsia.dev/ https://fuchsia.dev/ is another option if you wanted a microkernel.
snvzz 6y ago
I consider https://www.genode.org https://www.genode.org the state of the art.
- ilaksh 6y ago
  It does seem like they might have a keg up on security. But if it's written in C..
  - snvzz 6y ago
    Firstly, it is C++, not C. Secondly, non-C/C++ use in OSs is uncommon, and thus considered research. Thirdly, the microkernel with the strongest formal proof of correctness, seL4, is written in C.

Check out Redox OS. Takes a lot of inspiration from Minix.

by ilaksh 6y ago

Check out Redox OS. Takes a lot of inspiration from Minix.

See also Haiku OS[1], same but from BeOS. Looks very promising, but they are still on Beta. [1]https://www.haiku-os.org/ https://www.haiku-os.org/

tialaramex 6y ago
Mmm. Redox has a microkernel like Minix, but written in Rust, so that it's potentially safer or at least easier to reason about what might be unsafe and why. Haiku is a conventional monolithic design, like BeOS, in fact arguably more so than shipped releases of BeOS because BeOS had a separate TCP/IP stack which made its network performance abysmal, Be Inc. had been working to fix that by just plonking the entire stack inside the kernel, and Haiku copies this approach. Like BeOS, Haiku is written in some specific dialect of C++. So the main similarity is that Haiku also hasn't shipped a version 1. Although that's maybe more striking after 20 years of development than Redox's 5-6 years.
- accurrent 6y ago
  Building an operating system is very hard. I'm not surprised that haiku is not yet 1.0. I would be surprised if redox os hit 1.0. It takes a lot of investment and unless you are targeting a few device (like apple does) it is almost impossible to have perfect compatibility with the huge variety of PC hardware out there.
- qchris 6y ago
  I'm having trouble finding the thread, but I believe the lead developer has stated that even in the kernel, the code only sits at something like 20-30% unsafe anyway, which is a huge reduction in overall vulnerable surface area.

tyingq 6y ago

I suppose https://fuchsia.dev/ https://fuchsia.dev/ is another option if you wanted a microkernel.

snvzz 6y ago

I consider https://www.genode.org https://www.genode.org the state of the art.

ilaksh 6y ago
It does seem like they might have a keg up on security. But if it's written in C..
- snvzz 6y ago
  Firstly, it is C++, not C. Secondly, non-C/C++ use in OSs is uncommon, and thus considered research. Thirdly, the microkernel with the strongest formal proof of correctness, seL4, is written in C.