8 ms·

I'm Jeremy Soller, the creator of Redox OS. Let me know if you have questions!

Shared404 6y ago
Is Redox something that might be a viable daily driver at some point? I've been watching for a little while, and hope it gets there. Also, in what way's does the project need help? Edit: FWIW, I think this or something similar to it is the future of OS development.
- jackpot51 6y ago
  At some point? Maybe. It would be in quite a long time. Right now writing drivers, porting software, and improving documentation are areas to help.
  - Shared404 6y ago
    > At some point? Maybe. It would be in quite a long time. I'll look forward to it. > Right now writing drivers, porting software, and improving documentation are areas to help. I'll take a look and see what I can help with.
  - ianai 6y ago
    How mature are the network stack and FS? I see a ZFS inspired FS named TFS, very cool! I’m assuming it can run headless but see it’s got a GUI from the book.
- higerordermap 6y ago
  > FWIW, I think this or something similar to it is the future of OS development. Disagree. It is mostly a Unix clone in rust with few novel concepts. Not that it is not important, and no offense meant to developers.
  - brylie 6y ago
    But why do you disagree? What does your comment bring to the discussion? Edit: removed italics tag.
    - higerordermap 6y ago
      It is not a whole lot of new concepts as rust crowd likes to portray it.
  - brylie 6y ago
    Perhaps GP was referring to microkernel design as being the future of OS development?
    - Shared404 6y ago
      This is more what I meant. It just seems like Redox is taking the lessons we've learned over years of development, and being willing to break compatibility in order to implement them. That being said, I don't know much about OS/kernel development.
      - higerordermap 6y ago
        So is Google fuchsia - it is even capability based. (But Google is not cool here around HN circles, despite their contributions to open source and fostering one of good engineering environments, they aren't cool because they don't shout some Privacy buzzword like Apple.) Also it is not written in rust, which is webshit-favorite-of-the-month. Redox is still Unix like, it moderately changes the file paradigm. Microkernel Unix clones are not new. They mention Minix as inspiration while there is no mention of L4 which did lot of work in microkernel performance.
        fluffything 6y ago
        Google's fuchsia C kernel isn't particularly interesting IMO. its essentially LK (little kernel) but with 100s of syscalls. A couple of weekends ago I was playing with seL4 on RISC-V and Rust under qemu, and it felt much better balanced overall than my recollections of LK.
        higerordermap 6y ago
        At least it is capability based instead of yet another Unix clone. Not that any one of these are significantly better. But the rust crowd heralds redox as very innovative OS.
        pjmlp 6y ago
        What C kernel? It looks pretty much C++ to me. https://fuchsia.googlesource.com/fuchsia/+/master/zircon/kernel/kernel/ https://fuchsia.googlesource.com/fuchsia/+/master/zircon/ker...
  - foobiekr 6y ago
    As opposed to Linux?
    - higerordermap 6y ago
      Who said Linux is a revolution in OS design? The big thing about linux was free availability and development model.
eximius 6y ago
Has Redox explored any unique, new, or forgotten techniques around security and data sharing between apps and users?
- jackpot51 6y ago
  The microkernel seems long forgotten to me, it is critical for improving security
  - knaq 6y ago
    The performance problem has only gotten worse with time. Modern CPUs have a rough time switching tasks. There are all those mitigations for meltdown and spectre. Even before that though, the situation with the TLB was ugly. Limiting your data structures to ones that are friendly to message passing will really hurt you. Hacks to minimize the performance loss add complexity. Fundamentally, glue isn't free. The parts may be simple, but the interactions are not.
  - zozbot234 6y ago
    Hardware IOMMU's have certainly made microkernels a lot more viable than they used to be in the past. You can actually place meaningful protection boundaries around core hardware drivers; they're no longer part of your inherent trust base, as they would be in a system where IO transfers can involve arbitrary memory.
  - pjmlp 6y ago
    Most embedded OSes for high integrity computing are microkernel based, then there is QNX, Minix running in legions of Intel CPUs, Android's workaround to have drivers as userspace processes with Android IPC as means to increase Android security and provide a proper driver ABI with Treble, and the ongoing push from Apple to move all kernel extensions into userspace, and then all those type 1 hypervisors. Hardly forgotten.
darksaints 6y ago
Any chance of adopting nushell as the default shell? You're already breaking so many other rules, and I see so much potential for it.
- qchris 6y ago
  Redox also has it's own non-standard shell that has been worked on for a while, called Ion. I don't believe it's entirely POSIX-compatible, and has some neat features of its own. That said, it's certainly possible someone could end up porting over Nushell to work on Redox, but I don't think that's currently on their roadmap. [1] https://github.com/redox-os/ion https://github.com/redox-os/ion
- jackpot51 6y ago
  The default shell is ion, a shell written in Rust and maintained as part of Redox. But I don't see it as important what the default is, so long as it is configurable. We have ported bash and dash, so far. I think porting nushell wouldn't take much work
mindwok 6y ago
Hi Jeremy, I'd love to hear what your thoughts are on Rust after building something like this. As someone who's relatively new to both Rust and OS development, I'm curious what some of the challenges have been around core data structures often found in kernels where ownership can be ambiguous or complex, and developing without the support of a runtime/standard library. Has Rust passed the acid test of OS development in your eyes?
- jackpot51 6y ago
  core is very comprehensive and alloc adds dynamic allocation once your kernel supports a heap. The complicated data structures in kernels are much easier to write in Rust, in my opinion. And you can be certain of their consistency when you have multiple cores running kernel code because of the ownership model. I prefer doing bare metal development in Rust if possible
  - Recurecur 6y ago
    Redox looks very interesting. It seems one good approach might be to force new apps and drivers for Redox itself, but provide a VM environment that would run sandboxed Linux and other OS's securely. (Similar to the Qube OS idea.) That way Redox could offer a considerably improved API and app development environment without worrying about backward compatibility, while being useful as a daily driver in the meantime.
heavyset_go 6y ago
Has anyone looked into the viability of a Linux driver compatibility layer to help solve the problem of the lack of drivers? For example, something like NDISwrapper allows you to use Windows network drivers on Linux.
- yjftsjthsd-h 6y ago
  Other prior art is DDE on HURD, FreeBSD drivers on Haiku, and NetBSD rump kernels.
  - loeg 6y ago
    FreeBSD has a pretty broad linuxkpi layer for Linux drivers on FreeBSD as well. E.g., the Mellanox FreeBSD NIC drivers are really Linux drivers running on this framework.
- jackpot51 6y ago
  Things like this typically require a monolithic kernel. NetBSD's rump kernel drivers might be portable to userspace
  - pjmlp 6y ago
    Not necessarily, https://en.wikipedia.org/wiki/MkLinux https://en.wikipedia.org/wiki/MkLinux https://genode.org/documentation/api/dde_kit_index https://genode.org/documentation/api/dde_kit_index
dralley 6y ago
What are the similarities / differences between RedoxOS and Google's Zircon kernel?
andridk 6y ago
What are the plans for bridging the ecosystem? - Is there a Linux compatibility layer? - Is there X11 support in Orbital? - How difficult is porting Linux apps? - I absolutely love the idea of using a memory-safe language for an OS, but realistically people will use whatever language they feel comfortable with for writing apps. - Is it possible to write applications in something other than Rust?
Aloha 6y ago
Making the view releases button do something that isnt propping for a gitlab login, might entice people to make it past your homepage. Heck, add a "try it" button that redirects to the Book.
- jackpot51 6y ago
  An update to our gitlab server changed the link, it's fixed now: https://gitlab.redox-os.org/redox-os/redox/-/releases https://gitlab.redox-os.org/redox-os/redox/-/releases
Quequau 6y ago
What are the things about Redox that aren't strictly Unix (or maybe POSIX) which you feel are marked improvements over Unix that folks with a general interest Unix & OS development should know about?
danmg 6y ago
What alternative data structures do you have to use inside the kernel to provide good performance and satisfy the borrow checker without writing a lot of unsafe code?
westurner 6y ago
Are there tools to support static analysis and formal methods in Rust yet? From https://news.ycombinator.com/item?id=21839514 https://news.ycombinator.com/item?id=21839514 re: awesome-safety-critical https://awesome-safety-critical.readthedocs.io/en/latest/ https://awesome-safety-critical.readthedocs.io/en/latest/ : > > Does Rust have a chance in mission-critical software? (currently Ada and proven C niches) https://www.reddit.com/r/rust/comments/5iv5j7/does_rust_have_a_chance_in_missioncritical/?st=j0hrkiso&sh=3f225aa8 https://www.reddit.com/r/rust/comments/5iv5j7/does_rust_have... FWIU, Sealed Rust is in progress. And there's also RustPython for the userspace.

Is Redox something that might be a viable daily driver at some point? I've been watching for a little while, and hope it gets there. Also, in what way's does the project need help? Edit: FWIW, I think this or something similar to it is the future of OS development.

jackpot51 6y ago
At some point? Maybe. It would be in quite a long time. Right now writing drivers, porting software, and improving documentation are areas to help.
- Shared404 6y ago
  > At some point? Maybe. It would be in quite a long time. I'll look forward to it. > Right now writing drivers, porting software, and improving documentation are areas to help. I'll take a look and see what I can help with.
- ianai 6y ago
  How mature are the network stack and FS? I see a ZFS inspired FS named TFS, very cool! I’m assuming it can run headless but see it’s got a GUI from the book.
higerordermap 6y ago
> FWIW, I think this or something similar to it is the future of OS development. Disagree. It is mostly a Unix clone in rust with few novel concepts. Not that it is not important, and no offense meant to developers.
- brylie 6y ago
  But why do you disagree? What does your comment bring to the discussion? Edit: removed italics tag.
  - higerordermap 6y ago
    It is not a whole lot of new concepts as rust crowd likes to portray it.
- brylie 6y ago
  Perhaps GP was referring to microkernel design as being the future of OS development?
  - Shared404 6y ago
    This is more what I meant. It just seems like Redox is taking the lessons we've learned over years of development, and being willing to break compatibility in order to implement them. That being said, I don't know much about OS/kernel development.
    - higerordermap 6y ago
      So is Google fuchsia - it is even capability based. (But Google is not cool here around HN circles, despite their contributions to open source and fostering one of good engineering environments, they aren't cool because they don't shout some Privacy buzzword like Apple.) Also it is not written in rust, which is webshit-favorite-of-the-month. Redox is still Unix like, it moderately changes the file paradigm. Microkernel Unix clones are not new. They mention Minix as inspiration while there is no mention of L4 which did lot of work in microkernel performance.
      - fluffything 6y ago
        Google's fuchsia C kernel isn't particularly interesting IMO. its essentially LK (little kernel) but with 100s of syscalls. A couple of weekends ago I was playing with seL4 on RISC-V and Rust under qemu, and it felt much better balanced overall than my recollections of LK.
        higerordermap 6y ago
        At least it is capability based instead of yet another Unix clone. Not that any one of these are significantly better. But the rust crowd heralds redox as very innovative OS.
        pjmlp 6y ago
        What C kernel? It looks pretty much C++ to me. https://fuchsia.googlesource.com/fuchsia/+/master/zircon/kernel/kernel/ https://fuchsia.googlesource.com/fuchsia/+/master/zircon/ker...
- foobiekr 6y ago
  As opposed to Linux?
  - higerordermap 6y ago
    Who said Linux is a revolution in OS design? The big thing about linux was free availability and development model.

eximius 6y ago

Has Redox explored any unique, new, or forgotten techniques around security and data sharing between apps and users?

jackpot51 6y ago
The microkernel seems long forgotten to me, it is critical for improving security
- knaq 6y ago
  The performance problem has only gotten worse with time. Modern CPUs have a rough time switching tasks. There are all those mitigations for meltdown and spectre. Even before that though, the situation with the TLB was ugly. Limiting your data structures to ones that are friendly to message passing will really hurt you. Hacks to minimize the performance loss add complexity. Fundamentally, glue isn't free. The parts may be simple, but the interactions are not.
- zozbot234 6y ago
  Hardware IOMMU's have certainly made microkernels a lot more viable than they used to be in the past. You can actually place meaningful protection boundaries around core hardware drivers; they're no longer part of your inherent trust base, as they would be in a system where IO transfers can involve arbitrary memory.
- pjmlp 6y ago
  Most embedded OSes for high integrity computing are microkernel based, then there is QNX, Minix running in legions of Intel CPUs, Android's workaround to have drivers as userspace processes with Android IPC as means to increase Android security and provide a proper driver ABI with Treble, and the ongoing push from Apple to move all kernel extensions into userspace, and then all those type 1 hypervisors. Hardly forgotten.

darksaints 6y ago

Any chance of adopting nushell as the default shell? You're already breaking so many other rules, and I see so much potential for it.

qchris 6y ago
Redox also has it's own non-standard shell that has been worked on for a while, called Ion. I don't believe it's entirely POSIX-compatible, and has some neat features of its own. That said, it's certainly possible someone could end up porting over Nushell to work on Redox, but I don't think that's currently on their roadmap. [1] https://github.com/redox-os/ion https://github.com/redox-os/ion
jackpot51 6y ago
The default shell is ion, a shell written in Rust and maintained as part of Redox. But I don't see it as important what the default is, so long as it is configurable. We have ported bash and dash, so far. I think porting nushell wouldn't take much work

mindwok 6y ago

Hi Jeremy, I'd love to hear what your thoughts are on Rust after building something like this. As someone who's relatively new to both Rust and OS development, I'm curious what some of the challenges have been around core data structures often found in kernels where ownership can be ambiguous or complex, and developing without the support of a runtime/standard library. Has Rust passed the acid test of OS development in your eyes?

jackpot51 6y ago
core is very comprehensive and alloc adds dynamic allocation once your kernel supports a heap. The complicated data structures in kernels are much easier to write in Rust, in my opinion. And you can be certain of their consistency when you have multiple cores running kernel code because of the ownership model. I prefer doing bare metal development in Rust if possible
- Recurecur 6y ago
  Redox looks very interesting. It seems one good approach might be to force new apps and drivers for Redox itself, but provide a VM environment that would run sandboxed Linux and other OS's securely. (Similar to the Qube OS idea.) That way Redox could offer a considerably improved API and app development environment without worrying about backward compatibility, while being useful as a daily driver in the meantime.

heavyset_go 6y ago

Has anyone looked into the viability of a Linux driver compatibility layer to help solve the problem of the lack of drivers? For example, something like NDISwrapper allows you to use Windows network drivers on Linux.

yjftsjthsd-h 6y ago
Other prior art is DDE on HURD, FreeBSD drivers on Haiku, and NetBSD rump kernels.
- loeg 6y ago
  FreeBSD has a pretty broad linuxkpi layer for Linux drivers on FreeBSD as well. E.g., the Mellanox FreeBSD NIC drivers are really Linux drivers running on this framework.
jackpot51 6y ago
Things like this typically require a monolithic kernel. NetBSD's rump kernel drivers might be portable to userspace
- pjmlp 6y ago
  Not necessarily, https://en.wikipedia.org/wiki/MkLinux https://en.wikipedia.org/wiki/MkLinux https://genode.org/documentation/api/dde_kit_index https://genode.org/documentation/api/dde_kit_index

dralley 6y ago

What are the similarities / differences between RedoxOS and Google's Zircon kernel?

andridk 6y ago

What are the plans for bridging the ecosystem? - Is there a Linux compatibility layer? - Is there X11 support in Orbital? - How difficult is porting Linux apps? - I absolutely love the idea of using a memory-safe language for an OS, but realistically people will use whatever language they feel comfortable with for writing apps. - Is it possible to write applications in something other than Rust?

Aloha 6y ago

Making the view releases button do something that isnt propping for a gitlab login, might entice people to make it past your homepage. Heck, add a "try it" button that redirects to the Book.

jackpot51 6y ago
An update to our gitlab server changed the link, it's fixed now: https://gitlab.redox-os.org/redox-os/redox/-/releases https://gitlab.redox-os.org/redox-os/redox/-/releases

Quequau 6y ago

What are the things about Redox that aren't strictly Unix (or maybe POSIX) which you feel are marked improvements over Unix that folks with a general interest Unix & OS development should know about?

danmg 6y ago

What alternative data structures do you have to use inside the kernel to provide good performance and satisfy the borrow checker without writing a lot of unsafe code?

westurner 6y ago

Are there tools to support static analysis and formal methods in Rust yet? From https://news.ycombinator.com/item?id=21839514 https://news.ycombinator.com/item?id=21839514 re: awesome-safety-critical https://awesome-safety-critical.readthedocs.io/en/latest/ https://awesome-safety-critical.readthedocs.io/en/latest/ : > > Does Rust have a chance in mission-critical software? (currently Ada and proven C niches) https://www.reddit.com/r/rust/comments/5iv5j7/does_rust_have_a_chance_in_missioncritical/?st=j0hrkiso&sh=3f225aa8 https://www.reddit.com/r/rust/comments/5iv5j7/does_rust_have... FWIU, Sealed Rust is in progress. And there's also RustPython for the userspace.