What is the main differentiator? Security/stability because it's written in rust?
Maybe in 10 years. Right now it's more interesting/unique because it's written in Rust.
Redox – A Unix-Like Operating System Written in Rust
81–90 of 215 posts
Re: Redox – A Unix-Like Operating System Written in Rust
#82Great news! Now it's worth to learn Rust just to keep up with this project. Does Redox run in qemu only or also in VirtualBox? I tried it with all devices (USB, Network, etc.) disabled. Installation from ISO to /dev/sda worked fine but after reboot I got a hangup: "IDE Primary Master: Unknown Filesystem". Do I have to format the hardisk image with ZFS before installation?
qemu is recommended but Virtualbox is supported. Try running grabbing the latest source and running make virtualbox.
So I can play with it on OSX ?
Re: Redox – A Unix-Like Operating System Written in Rust
#83Anyone have screenshots of the orbital GUI?
I'm also curious how to contribute to the GUI. I'll trawl the github in the meantime but if anyone happens to know a good point to start I'd love to hear.
Edit: Found it, in case anyone else is interested: https://github.com/redox-os/redox/blob/master/CONTRIBUTING.m...
Re: Redox – A Unix-Like Operating System Written in Rust
#84Very nice. It was time to do this.
There are three near-term products to develop on this:
- A small router (home/small office, not data center)
- A DNS server
- A BGP server
Those are standalone boxes which do specific jobs, they're security-critical, and the existing implementations have all had security problems. We need tougher systems in those areas.
Re: Redox – A Unix-Like Operating System Written in Rust
#85Earlier quoted context omitted.
This looks outstanding, thanks for the link.
Project lead here. I haven't had time in the last few weeks to work on this, so the book is pretty far behind the kernel itself at the moment. Playing the long game. I was hoping to do some more today, in fact...
The "everything is a URL" concept is interesting. QNX uses pathnames in a somewhat similar way; programs with the privilege to do so can register to own some portion of the pathname space, and requests with such pathnames go to that program. The kernel has no idea what pathnames mean. This gets file systems out of the kernel. It looks like Redox is doing something similar, but not enough of the documentation is written yet for me to tell quickly.
Re: Redox – A Unix-Like Operating System Written in Rust
#86Great news! Now it's worth to learn Rust just to keep up with this project. Does Redox run in qemu only or also in VirtualBox? I tried it with all devices (USB, Network, etc.) disabled. Installation from ISO to /dev/sda worked fine but after reboot I got a hangup: "IDE Primary Master: Unknown Filesystem". Do I have to format the hardisk image with ZFS before installation?
The installer worked under VirtualBox for me.
Re: Redox – A Unix-Like Operating System Written in Rust
#87Oh man if we could get hard realtime scheduling in early, large, critical embedded systems like medical would benefit greatly!!!$$$
While I'm not sure this fits with Rust's existing concepts of safety and correctness, it would be interesting (and not just for RT purposes) to have a language in which one could mark functions as <= some complexity (given the usual simplifying assumptions) or provably terminating, and have the compiler throw an error if it can't prove that those constraints are met. Does something like this exist?
Re: Redox – A Unix-Like Operating System Written in Rust
#88Earlier quoted context omitted.
As somebody who develops significantly complex in Node.js and considers operating systems to largely be black magic, I'd love to have a chat about this some day, and compare notes :)
Read the MINIX book. It's basically a walk-through (with source code) of entire operating system.
"Operating System Concepts" (aka "the dinosaur book") by Silberschatz, Galvin and Gag is a classic. It's very approachable, compares real operating systems' design choices, and covers some theory.
Re: Redox – A Unix-Like Operating System Written in Rust
#89I was reading this: http://www.redox-os.org/book/book/design/urls_schemes_resour... and I really got interested in the "everything is a URL" idea. But then I noticed that the most important parts of this text were missing :/ Perhaps somebody can clarify here.
That's pretty neat. You could kind of fake it on other OSes using something like Fuse with mount points like "/http" or "/tcp".
Re: Redox – A Unix-Like Operating System Written in Rust
#90I'm pretty impressed that 37 people are capable of writing an entire OS with a gui in under a year. Looks really cool.
Operating systems aren't that big, and if you know your stuff, I'm sure it's not too hard to pull off. Here's an example I borrowed from StackExchange: According to cloc run against 3.13, Linux is about 12 million lines of code. 7 million LOC in drivers/, 2 million LOC in arch/, and only 139 thousand LOC in kernel/. ( http://unix.stackexchange.com/a/223753 ) Edit: Would be nice to have the numbers for the latest Mini…
Are you the guy that says stuff like "How hard can it be?" and "It shouldn't take that long" in meetings?