Live data from Hacker News

Redox – A Unix-Like Operating System Written in Rust

redox-os.org

71–80 of 215 posts

Re: Redox – A Unix-Like Operating System Written in Rust

#72
post #38
post #35

Earlier quoted context omitted.

rust "unsafe" is not about proprietariness of the hardware. It's about doing lower level operations that, in order to express, the rust compiler's safety logic must be disabled.

You are right. Barebone stuff is usually unsafe. The point I'm trying to make is that open hardware could also be programmed in Rust, reducing the number of "unsafe" blocks in user applications. Software for proprietary hardware is usually written in unsafe C/C++.

I think what you're trying to say is that architecture-specific code will be isolated in unsafe blocks. That's not necessarily true, as a lot of safe code can definitely benefit from knowledge of the underlying metal. I'm thinking of scheduling in particular.

Re: Redox – A Unix-Like Operating System Written in Rust

#73
post #25

I 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.

There's a bit more info here: https://github.com/redox-os/redox/wiki/URL

Interesting. They mention 9P, but their approach reminds me of 1060's NetKernel:

http://www.1060research.com/products/#roc

Re: Redox – A Unix-Like Operating System Written in Rust

#76
post #25

I 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.

There's a bit more info here: https://github.com/redox-os/redox/wiki/URL

Very interesting.

The only odd part is that the modules (drivers) themselves are not referenced by URL, but only by a simple word (in the example "port_io").

Also, I wonder how we could combine drivers. For example, (theoretically) instead of using "https" as driver, we could compose it as "HTTP over TLS over TCP", and change any of those subcomponents as desired. With URLs this might become clumsy.

Re: Redox – A Unix-Like Operating System Written in Rust

#77
post #63

Earlier 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.

Is that Operating Systems Design and Implementation by Tanenbaum?

Re: Redox – A Unix-Like Operating System Written in Rust

#78
post #15

Great 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.

Re: Redox – A Unix-Like Operating System Written in Rust

#80
post #68
post #14

Earlier quoted context omitted.

Presumably named after the redox reaction that causes iron to rust.

Not that it matters... Apparently rust-lang is named after the rust fungus not the chemical reaction. https://en.wikipedia.org/wiki/Rust_%28programming_language%2...

That hasn't stopped anyone from naming tons of Rust libraries after elements and chemistry terms, just like the true etymology of "Python" hasn't stopped people from naming things after snakes. :P
Post reply on HN