Redox OS 0.8
redox-os.org
redox-os.org
> Redox is a general purpose operating system written in pure Rust. Our aim is to provide a fully functioning Unix-like microkernel, that is both secure and free.
> We have modest compatibility with POSIX, allowing Redox to run many programs without porting.
> We take inspiration from Plan9, Minix, Linux, and BSD. Redox aims to synthesize years of research and hard won experience into a system that feels modern and familiar.
Is it me or the author is overly cautious?
Has that money come from a sanctioned person? Is it a drug dealer trying to launder funds? Is it from a hostile state? Is it really a bribe? Is it a mistake?
When the auditors (or worse) come knocking, you want to be able to account for the source of funds in your projects.
US agencies have too many overreaching regulations like the OFAC one, together with a lot of fake regulations.
The SEC was close to FTX and totally blind to the whole fraud operation that was going on. Likewise, many things in traditional finance markets (debt collaterization, etc.) are legal and regulated, but they're often nothing else but outright scams.
Also from other source it sounds like when it comes to money it's rather "presumption of guilt" where you have to prove the source of your income is legal etc.
Tornado Cash is a sanctioned entity. Author knows the money came through Tornado. That information is sufficient to potentially make accepting the donation criminal, regardless of whether the original source of funds is a privacy-conscious, legit crypto investor, or a ransomware group in North Korea.
I noticed a large number of laptops on the website. Are you going for a support a large number of devices(Microsoft&Linux) approach?
I think you should go for an Apple/System76 approach. Less hardware, but fully supported.
I would buy a tablet/laptop/desktop preinstalled with Redox.
My question is: is there any potential for sharing nvme code between a rust Linux driver and redox?
I've also heard of an experimental Rust NVMe implementation proposed for Linux. I wonder if and hope that these implementations can share code. Perhaps Fuchsia would wish to reuse portions as well.
I think it has the capability to be the next "just a small hobby project".
So just like with St. Thomas, apparently we need all those Rewrite in Safe Systems Language XVYZ, to bring the non-belivers into the righteous path.
Which is anyway only half of the battle, as Joe Duffy points out in one of his talks, several developers on the WinDev team dimissed Midori efforts, even with the system running in front of them, providing them wrong in all their remarks about the system.
First you have to work around things like direct memory access, writing a "safe" wrapper around direct memory access doesn't really take it from unsafe to safe and you have to fight the language to do the things you have to do when doing kernel work. Then you have to deal with badly optimized output of the compiler which is fine in an user space program but a no-go in a kernel or even worse on embedded. I know some might say "well you aren't supposed to do that, you need X safety measure" but the hardware doesn't work like that, if you try to apply those concepts to out-of-order execution for example you will incur a heavy performance cost.
tl;dr Rust fanboys should read some kernel device driver code and lower level code before giving their input
I explicitly mentioned Safe Systems Language XVYZ, because the defensive reaction is to complain about Rust, as if systems programming languages safer than C didn't exist since 1958, with JOVIAL being one of the earliest ones worthy of mention.
Ironically you say this on a submitted project that uses Rust for systems programming.
I hope some rich person donates money to the Servo project, or if the devs can crowdsource funding, I wouldn't mind helping.