Redox is a Unix-like Operating System written in Rust, aiming to bring the innovations of Rust to a modern microkernel and full set of applications.
Here's the (currently incomplete) book:
doc.redox-os.org
Interesting chapters:
>Everything is a URL
doc.redox-os.org
>Advantages and disadvantages of going Microkernel
doc.redox-os.org
doc.redox-os.org
>ion shell intro, and why not posix?
doc.redox-os.org
Lead dev doesn't take any SJW shit:
github.com
>Cucks and Commies OS
How about no?
can I finally compile software natively on Redox?
>commies
The guy behind it is an anarcho capitalist
He's a cuck for choosing a cuck licence for an os. They have literally a communist manifest in the file system source. That ticki commie jew is one of the main devs and already successfully subverted the project, doesn't matter if he whenever he gets his code of conduct in too.
> Lead dev doesn't take any SJW shit
Sure but he's a commie cuck for choosing terrible licensing
into the trash it goes
Yes you can.
Web browser port when?
It’s pretty interesting but doesn’t do much yet.
BASED
There's a partial libservo port but without a JS or CSS engine it's not very useful.
Bumph
What's the point of this OS? What is it aimed for?
>You might still have the question: What is Redox actually?
>Redox is an attempt to make a complete, fully-functioning, general-purpose operating system with a focus on safety, freedom, reliability, correctness, and pragmatism.
>The goals of Redox
>We want to be able to use it, without obstructions, as a alternative to Linux on our computers. It should be able to run most Linux programs with only minimal modifications. (see Why Free Software)
>We're aiming towards a complete, safe Rust ecosystem. This is a design choice, which hopefully improves correctness and security (see Why Rust).
>We want to improve the security design when compared to other Unix-like kernels by using safe defaults and disallowing insecure configurations where possible.
>The non-goals of Redox
>We are not a Linux clone, or POSIX-compliant, nor are we crazy scientists, who wish to redesign everything. Generally, we stick to well-tested and proven correct designs. If it ain't broken don't fix it.
>This means that a large number of standard programs and libraries will be compatible with Redox. Some things that do not align with our design decisions will have to be ported.
>The key here is the trade off between correctness and compatibility. Ideally, you should be able achieve both, but unfortunately, you can't always do so.
Is it POSIX compliant?
>Why Not POSIX?
>If Ion had to follow POSIX specifications, it wouldn't be half the shell that it is today, and there'd be no solid reason to use Ion over any other existing shell, given that it'd basically be the same as every other POSIX shell. Redox OS itself doesn't follow POSIX specifications, and neither does it require a POSIX shell for developing Redox's userspace. It's therefore not meant to be used as a drop-in replacement for Dash or Bash. You should retain Dash/Bash on your system for execution of Dash/Bash scripts, but you're free to write new scripts for Ion, or use Ion as the interactive shell for your user session. Redox OS, for example, also contains Dash for compatibility with software that depends on POSIX scripts.
>That said, Ion's foundations are heavily inspired by POSIX shell syntax. If you have experience with POSIX shells, then you already have a good idea of how most of Ion's core features operate. A quick sprint through this documentation will bring you up to speed on the differences between our shell and POSIX shells. Namely, we carry a lot of the same operators: $, |, ||, &, &&, >,
Fun fact: lead dev forked Mesa on github. This suggests full GPU accel is on the horizon.
So Redox is no UNIX? Into the trash it goes.
However Ion Shell is comparable to Fish, then?
>However Ion Shell is comparable to Fish, then?
You can actually install it and use it on GNU/Linux systems. I'm not too familiar with fish, so I couldn't say.
why don't you learn new things instead of being a little duck who can't survive without a shitty environment that only succeeded because AT&T was forced to give it away for free to anyone who asked about it?
Redox is not Unix and neither is Linux.
hey phone poster!
Why do rust developers feel the need to make sure that everything is rewritten in rust?
Replacing C and C++ code with safe Rust is an explicit goal of the Rust language and its use at Mozilla. Why is it surprising that people who care strongly about the language do the same?
That doesn't really answer why unless the answer is really "i'm a rust sheep that follows the herd"
So basically Mozilla making everything worse as per usual?
It does answer the question if you understand why Rust exists at all.
Another sjw meme that tries to force itself into the world under the guise of “””””safety”””””” or “””””””simplicity””””””””
Well written C is safe. If you can’t rtfm get the fuck away from digital electronics. Gas Mozilla cyber warfare now.
>Not POSIX
Sorry but that sounds absolutely shit. Worse than POSIX even.
Also, is it self hosting yet?
Close to self hosting. Porting the rust/cargo toolchain is a WIP.
Why are they so obsessed with
>correctness
This garbage isn’t even posix compliant. Sounds like another “freedom is problematic” project, where any dissent is incorrect. Day of the rope now.
I look forward to seeing how it goes and if Rust brings and advantages apart from frightening method signatures.
Don’t have much hope for it since it only offers promises of great security but isn’t used in a situation where security is important.
>Well written C is safe
confirmed for never having touched any kind of C code in his life
why tf half of programmers on Sup Forums is actually Sup Forums, 1/3 can actually program but only in one language - which makes them brainlets, and the remaining ones are the ones who understand that rust is a really nice language except for the community?...
> BTW I am a white male American atheist anarcho-capitalist
Sounds like a complete fucking tool.
Is there any reason why this would be better/worse than linux that doesn't have to do with "politics"?
>redox/issues/350
gotta give'm credit for handling that one pretty well
but shitposting duties call:
>EOF at password prompt returns root shell.
>FEARLESS