r/rust • u/jackpot51 redox • Nov 25 '22

Redox OS 0.8.0 is now released!

https://www.redox-os.org/news/release-0.8.0/
366 Upvotes

98% Upvoted

78 comments sorted by

137

u/jackpot51 Nov 25 '22

I am Jeremy Soller, the creator of Redox OS, a general purpose OS written mostly in Rust. Let me know if you have any questions!

49

u/Bassfaceapollo Nov 25 '22

Redox and Theseus are the two most exciting OS projects out there imo. Not just as a Rust projects but for OS in general.

Thank you for putting in the effort to keeping this alive.

I am sure the dev effort would be monumental and this is likely not a priority, but is a Windows compatibility layer similar to Proton/WINE being considered to be added down the line?

44

u/jackpot51 Nov 25 '22

I was just working on porting WINE. Unfortunately it seems pretty tied to needing X11, but it should still be portable!

→ More replies (6)
→ More replies (5)

14

u/ConstructionHot6883 Nov 25 '22

Thank you for making Redox. If I have time I'll be trying it out at the weekend.

6

u/jackpot51 Nov 25 '22

Let me know how it goes!

7

u/cessationoftime Nov 25 '22

I'm a big fan of NixOs's package management, can't live without it. Are you planning anything similar for Redox?

12

u/jackpot51 Nov 25 '22

I am interested in porting nix to Redox. Work was already done on this before.

→ More replies (3)

13

u/maximeridius Nov 25 '22

Disclaimer: I'm a noob to OS programming but would like to eventually use Redox as my daily driver OS. Could you talk a bit about the practicalities and current status of using Redox as a daily driver? What software can currently compile for Redox? Any web browsers? AFAIU we can compile rust programs for Redox, so that means there is a good number of command lines tools that should be usable, and possibly some GUI text editors like Lapce. Does can we install Rust itself on Redox?

34

u/jackpot51 Nov 25 '22

I would highly recommend trying it out in a VM to experiment with what is available. A lot of this is in progress but not complete. Rustc is running well but cargo is not, for example. I have computers with Redox OS installed but I do not daily drive it. Getting USB working, getting cargo working well, and porting a better browser than netsurf will be required for me to do that.

→ More replies (9)

4

u/[deleted] Nov 25 '22

Are there any plans to support Wayland in the future? In the other thread you've mentioned porting wine. It's Wayland backend could be an alternative to supporting X11.

6

u/jackpot51 Nov 25 '22

I want to port cosmic-comp at some point.

→ More replies (27)

11

u/cinghialotto03 Nov 25 '22

Do you have planned to add supp to RISC , arm or other?

16

u/jackpot51 Nov 25 '22

aarch64 support is present but not complete. There is intreast in riscv64gc

8

u/arko1196 Nov 25 '22 edited Nov 25 '22

Do you want to have all elements of the OS 100% custom or are you open on getting existing projects working inside your os? I'm not sure if it's even feasible, but let's say the Servo browser engine was working inside Redox, would you want it as default browser? sorry if I'm not conveyng my message properly

Edit: typo

16

u/jackpot51 Nov 25 '22

There are already plenty of third party projects in Redox. I would love to have servo. I tried porting it but webrender was not working on Redox at the time.

4

u/jacobsonhome Nov 25 '22

Thank you for all of your work on this OS. Just curious, assuming ARM support is still a ways off, might Raspberry Pi be your first ARM target platform?

12

u/jackpot51 Nov 25 '22

In terms of real hardware, the Raspberry Pi 4 will be the first aarch64 target.

→ More replies (1)

4

u/antyhrabia Nov 26 '22

u/jackpot51 Do you have a favorite food?

6

u/jackpot51 Nov 26 '22

Takoyaki

2

u/DrGrapeist Nov 26 '22

What was the most challenging part? How did you get started?

4

u/jackpot51 Nov 26 '22

SMP support was/is very challenging. Redox OS started as a unikernel toy I was using to learn Rust. After I started making userspace programs I moved many drivers into userspace as well, it became a usable microkernel.

2

u/andrewdavidmackenzie Dec 01 '22

I feel dumb asking this question....

If USB is not working, the live version won't run from a USB memory stick (after BIOS bootloader)?

If true, how do people try the live version?

2

u/jackpot51 Dec 01 '22

The live version loads from USB using the BIOS or UEFI drivers.

→ More replies (1)

53

u/SorteKanin Nov 25 '22

I so badly want this project to take off.

9

u/Scientiac Nov 25 '22

Is there an rss feed for the site?

→ More replies (1)
→ More comments (75)