Oh man if we could get hard realtime scheduling in early, large, critical embedded systems like medical would benefit greatly!!!$$$
Doesn't that exist with something like FreeRTOS?
Redox – A Unix-Like Operating System Written in Rust
21–30 of 215 posts
Re: Redox – A Unix-Like Operating System Written in Rust
#22Earlier quoted context omitted.
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…
Warning: I have no idea about systems programming. I understand that the amount of lines of driver code comes from the variety of devices. But still, it looks completely unbalanced, when compared to the kernel code itself. So I have some questions here: 1) Shouldn't there be common interfaces / abstractions for most of the devices? 2) If they exist, could they be improved somehow? 3) A bit unrelated, but how fun / in…
There are. USB, SATA, SCSI and such share a lot of code between the drivers - but drivers are huge.
Re: Redox – A Unix-Like Operating System Written in Rust
#23Earlier quoted context omitted.
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…
Btw, if anyone is interested in learning how to write an OS, and interested in Rust, check out https://intermezzos.github.io/ . It's a "learning OS" in Rust, with a companion book. Incomplete, but a good start.
This looks outstanding, thanks for the link.
Re: Redox – A Unix-Like Operating System Written in Rust
#24How many "unsafe" declarations should one expect in regions of the code that will need to deal with untrusted data (like networks, syscalls)?
I guess not very much if Redox will support open hardware.
http://www.xda-developers.com/risc-v-cores-and-why-they-matt...
http://hackaday.com/2014/08/19/open-source-gpu-released/
http://hackaday.com/2014/08/19/open-source-gpu-released/
Some compelling projects (GPU) failed for lack of interest. The concepts behind those projects did not fail because most of the projects were isolated. The best time for open hardware is yet to come. Redox could accelerate that.
Re: Redox – A Unix-Like Operating System Written in Rust
#25I 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.
Re: Redox – A Unix-Like Operating System Written in Rust
#26I wonder why they decided to write their own coreutils instead of using https://github.com/uutils/coreutils
Re: Redox – A Unix-Like Operating System Written in Rust
#27I'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…
Actually, they can be really small... http://kolibrios.org/
Re: Redox – A Unix-Like Operating System Written in Rust
#28Great 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 book has steps, but I think it runs through qemu
Re: Redox – A Unix-Like Operating System Written in Rust
#29Re: Redox – A Unix-Like Operating System Written in Rust
#30Earlier quoted context omitted.
Presumably named after the redox reaction that causes iron to rust.
The name is quite clever, actually.
Yes indeed.
* There's the Unixy "x" suffix
* Iron turning to rust is a redox reaction
* Redo means "do again (differently)"
* Redox is an almost-homophone with redux meaning "revived"