HN user

jackpot51

1,529 karma

BDFL of Redox OS and Principal Engineer at System76.

Posts20
Comments150
View on HN

This year’s Redox Summer of Code program has seen us add some exciting capabilities to Redox. Our three interns each came up with their own project proposals, and delivered major new functionality. In addition to our paid internships, our volunteer contributors also made major strides this summer.

Redox OS 0.8 4 years ago

I prefer Redox OS to support as wide a set of hardware as possible.

Redox OS 0.8 4 years ago

It is unlikely. The driver models are very different, ine being a microkernel, the other monolithic.

Redox OS 0.8 4 years ago

Hello, I am Jeremy Soller, the creator of Redox OS. Let me know if you have any questions!

Redox OS 0.7.0 4 years ago

I have looked into Fuchsia, mostly into the Zircon kernel and its system calls.

Redox OS 0.7.0 4 years ago

Working at System76, I have mostly been developing with those devices in mind.

Redox OS 0.7.0 4 years ago

Namespaces on redox are probably what you are looking for. They are incredibly powerful, but difficult to describe. Processes can offer isolated filesystems called "schemes". These are usually at the default namespace (1). Processes can move to the null namespace (0) which disallows them from opening file descriptors from most schemes. Moving to a new namespace allows a process to control the view of the system for all its children. This can be used, for example, to implement chroot.

Syscalls are mostly sync, but with some syscalls for doing blocking operations asynchronously, like on Linux.

Redox OS 0.7.0 4 years ago

I would love to next work on the install process. Currently, there is only a very simple installer that I haven't mentioned much because it is really only good for replicating the VM image inside a VM.

Improving this so it can be used to have permanent installs of Redox OS, and then improving rustc so those installs can build software for Redox OS (self-hosted), would accelerate development so we can take on bigger, higher level projects.

Redox OS 0.7.0 4 years ago

I'd love to port Servo, but the first thing people would ask after doing that, is probably when is Firefox going to be ported ;-)

Redox OS 0.7.0 4 years ago

I'll add that, I would definitely have had that if something other than x86_64 was supported

Redox OS 0.7.0 4 years ago

Spoiler alert: I am also the maintainer of Pop!_OS and the Principal Engineer at System76 so it will be easy to guess.

I have loads of computers (which helps when doing OS work!) but my main one is my desktop. I have a System76 Thelio Mira with AMD Ryzen 9 5950X CPU, AMD Radeon RX 6900 XT GPU, 128 GB DDR4-3200 ECC RAM, a couple PCIe Gen 4 drives, and a couple larger PCIe Gen 3 drives. The most important parts of my setup, though, are my System76 Launch keyboard and 3x LG 27GL850 monitors. There's also probably a mouse somewhere.

This computer runs primarily Pop!_OS 22.04 LTS, but on those extra drives I often have some other OS's installed for testing. I also use loads of VM's, as you can probably imagine.

For apps, I mostly use Alacritty for my terminal, Firefox for my browser, and Vim for my editor.

Redox OS 0.7.0 4 years ago

Primarily the model is capability based. Most things are managed through file descriptors. Services usually end up in a special namespace where they can no longer open new files at runtime, except from a highly restricted set of filesystems. This essentially disallows operating on anything beyond their current set of open file descriptors. This makes runtime inspection of the capabilities of each process fairly easy, and the build time declaration of those namespaces also pretty easy.

Redox OS 0.7.0 4 years ago

It has been a lot of work getting to this point. Finally, the foundation is laid for more regular updates.