130
Building a secure Operating System (Redox OS) with Rust (Interview)
(www.youtube.com)
GPL or bust
What about MPL? That seen more accepted in the rust space.
Agreed though, I don't know what the obsession with some of rust based GNU project placement stuff on going backwards on copyleft. Like I want to contribute to the next Linux not the next base for an Apple to take over and write a nice foot note about.
Don't be so negative. Apple donated over 1,000$ back to FreeBSD in 2021: https://freebsdfoundation.org/our-donors/donors/?donationType=individual&donationYear=2021
@OsrsNeedsF2P
That was mockery at best! Multi-trillion $ company donates 1000 $?
They couldn't make it to the Silver or at least Bronze donor? FBSD has three individuals as Silver!
Apple deserves all negativity it gets, not just for that, but as cry-baby patent-trolls, anti-repair efforts and such.
What benefit would it provide though? It's a microkernel so you could just add non-free drivers in the userspace. Things like Playstation would choose BSD instead.
It would at least protect the core parts of the kernel itself
Sure but protect from what? Apple, Sony and Microsoft can just use BSD or any other proprietary kernel. Nobody will try to create the "new proprietary Linux" out of it because getting OS market share is hard even for an Open Source standard like Linux, let alone for some proprietary crap.
A potential issue is someone like Qualcom who makes their own proprietary fork which works on their hardware only. So instead of digging through the tens of thousand lines of code which Qualcom publishes for their out of tree Linux kernels, you can only reverse engineer. But again we are talking about a microkernel so most of these lines of code would be proprietary regardless. At least we save time of these crazy developers who try to bring out of tree stuff into mainline.
It stops parts of Linux becoming proprietary, and becoming the dominant version users interact with. Comparisons with other kernels are irrelevant
Comparisons with other kernels is imo relevant. Protecting software that has many alternatives from becoming proprietary is nice but not really important when the potential software vendor can just choose a different but equivalent project. It would not really matter if people interacted with this proprietary fork of RedoxOS or BSD, they would get screwed either way.
Note: the original comment was "GPL or bust". imo GPL is nice but in this case it's a minor thing
Harder GPL. Like v3 something.
If your point is that it would need some kind of license that would prevent proprietary drivers, then I'm not really sure how would lawyers differentiate between drivers and straight up non-free apps running on it.
GPL v3 prevents mechanisms that interfere with the ability of the end user to replace the free firmware of a device, like accepting only signed firmwares. It’s an “anti-TiVo” thing. It won’t prevent proprietary drivers, but any device distributed with it must not prevent the user from making their own drivers to replace them.
There isn’t a real solution that would work for user space drivers. At least not yet. But just like GPL v3 rose from TiVo, if this becomes an issue I’m sure the lawyers of FSF will come up with something, and Linus and a lot of other folk will hate it.
Yeah that makes sense but does not really fit with the theme "GPL or bust" since Linux itself does not use v3
We’re talking about Redox OS, not Linux.
I am aware. I was just pointing out that Tivotization would be a weird reason for "a bust" when we are in a linux community and Linux itself does not prevent Tivotization.
The biggest lie of programming these days is just because something is coded in [trendy "secure" language of the day, including Rust] means it's secure. Bullcrap. It's how you code things that make it secure or not. You can be proficient enough in C to make programs that are much more secure vs. rust. The fact that everyone makes mistakes and programming is an enormous beast to wrangle with makes things insecure and needs to be monitored and fixed.
You're just partially correct.
With Rust you get compile time guarantees that your code doesn't have a specific class of vulnerabilities. Can you do that with C?
Yes, it's called "not being a shit programmer."
Ahah, I'm pretty sure many of the programmers on Linux et al, that worked on code with CVEs are still better programmers than you will ever be. The fact is that a lot of projects are just complex and they are hard to reason about on languages like C.
But I guess you know that. Keep trolling.
ALL CODE CAN HAVE BUGS BECAUSE WE ARE ALL HUMAN. NO ONE IS DENYING THAT.
But thinking that Rust is inherently safer is actually trolling. I don't care what you're doing or who you are, you can make a gigantic security hole in ANY language, including Rust, and there's zero difference. If you really think people are going around screwing up in C more than people are screwing up in Rust, particularly because they feel like "RUST IS SAFER I CAN DO ANYTHING", you're delusional.
You are not very consistent, first you imply that not "being a shitty programmer" is the fix for security issues in C. And then you say that any programmer can and will make mistakes...
Again you refuse to see my argument: yes I agree that viewing Rust, or any other language, as being a panaceia is wrong and following the hype. But Rust is provably better than C w.r.t to memory safety issues because it, provably, finds memory issues during compile time. I'm not discussing other types of security issues.
Yes C needs all that "freedom" with memory due to its low level use cases, but Rust is proving that it can also cover those cases (with the unsafe keyword) and cover the opposite cases where you want more strict memory usage and safety, so much so that you see now operating systems and firmware being developed in it. I won't argue and compare performance as I don't know enough.
You could argue that Rust by providing the "unsafe", keyword can and will have memory issues, but IMO the fact that you need to enclose unsafe operations in a scope allows for more focused reviewing and auditing
Sick of debating you people on this. You can't understand basic logic which tells me right away that you're either not a programmer or a really bad one, or, more likely, you have some sort of investment in the language's success.
There's no conflict in the statements that you need to be a good C programmer and that it's impossible to be a perfect programmer. This non-argument is you either not understanding common sense and logic, or you grasping at straws in the vain hope that people will think you're right because you're so obsessed with your language of the year that will be forgotten soon enough and replaced with, again, C and other traditional, good, useful languages.
I don't know which is the case, but the frenzied, unhinged way you're trying to defend rust makes me think you have an investment in the language in some way, which makes your argument invalid. I have no such attachments.
If you can't understand such common sense arguments, I can't believe that you even know how to write "Hello World" in any language.
You keep coming up with insults or inflamatory comments instead of answering the points, when I'm just trying to have a discussion of ideas. I don't understand why I am being unhinged when I even agreed with you partially.
I'm not a Rust programmer, I just play occasionally with it on pet projects. The languages I'm most experienced in are C++ and then C, I have no "horse in the race" of Rust, and I don't see c/c++ going away anytime soon, I just see what the language improves on them
Redox doesnt seem secure at all to me, i tried it out in a VM today and there was a publicly accessible file at the root of the file system containing unhashed credentials
Very interesting, please report that to them, it may be because of some experimental stage.
For example an installation media needs some form of accessible first user creation. Anaconda etc may be more advanced here.
I imagine their focus is elsewhere. They probably just wanted a proof of concept login system to test things.
Here is an alternative Piped link(s):
https://piped.video/watch?v=StLzsDU2-oo
Piped is a privacy-respecting open-source alternative frontend to YouTube.
I'm open-source; check me out at GitHub.
this post was submitted on 06 May 2024
130 points (100.0% liked)
Linux
49720 readers
713 users here now
From Wikipedia, the free encyclopedia
Linux is a family of open source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991 by Linus Torvalds. Linux is typically packaged in a Linux distribution (or distro for short).
Distributions include the Linux kernel and supporting system software and libraries, many of which are provided by the GNU Project. Many Linux distributions use the word "Linux" in their name, but the Free Software Foundation uses the name GNU/Linux to emphasize the importance of GNU software, causing some controversy.
Rules
- Posts must be relevant to operating systems running the Linux kernel. GNU/Linux or otherwise.
- No misinformation
- No NSFW content
- No hate speech, bigotry, etc
Related Communities
Community icon by Alpár-Etele Méder, licensed under CC BY 3.0
founded 5 years ago
MODERATORS