HNHacker News
TopNewBestAskShowJobs

jackpot51

1,529 karma · joined August 25, 2012

BDFL of Redox OS and Principal Engineer at System76.
submissionscomments
jackpot51··on RedoxFS is the default filesystem of Redox OS, inspired by ZFS
* We have not started on inotify but I will keep that in mind

* RedoxFS is MIT licensed

* RedoxFS supports all features with or without full disk encryption

* RedoxFS encryption includes all metadata

jackpot51··on RedoxFS is the default filesystem of Redox OS, inspired by ZFS
Transparent compression was just merged.
jackpot51··on Redox Summer of Code 2023 Wrapup
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.
jackpot51··on Redox OS 0.8
I prefer Redox OS to support as wide a set of hardware as possible.
jackpot51··on Redox OS 0.8
It is unlikely. The driver models are very different, ine being a microkernel, the other monolithic.
jackpot51··on Redox OS 0.8
cargo is really close to working. rustc is working.
jackpot51··on Redox OS 0.8
Hello, I am Jeremy Soller, the creator of Redox OS. Let me know if you have any questions!
jackpot51··on Redox OS 0.8.0 is now released
There is a lot missing from it. Vim is ported as well.
jackpot51··on Redox OS 0.8.0 is now released
There isn't much more to say, and it is still in legal hell so I should not say more anyways.
jackpot51··on Redox OS 0.8.0 is now released
rustc is working on Redox, cargo is not working yet. There are issues with cargo pulling the registry that will need to be solved.
jackpot51··on Redox OS 0.8.0 is now released
Hello, I am Jeremy Soller, the creator of Redox OS. Let me know if you have any questions!
jackpot51··on HP Dev One Laptop with Pop_OS
It is upgradeable to 64GB.
jackpot51··on Redox OS 0.7.0
An Operating System mostly written in the Rust programming language.
jackpot51··on Redox OS 0.7.0
Can you explain in more detail?
jackpot51··on Redox OS 0.7.0
There is no functional installer yet.
jackpot51··on Redox OS 0.7.0
Redox has pretty low resource requirements.
jackpot51··on Redox OS 0.7.0
Thanks!
jackpot51··on Redox OS 0.7.0
Yes, it is redirect on write.
jackpot51··on Redox OS 0.7.0
I look forward to the first "distro" of Redox!
jackpot51··on Redox OS 0.7.0
I have looked into Fuchsia, mostly into the Zircon kernel and its system calls.
jackpot51··on Redox OS 0.7.0
Working at System76, I have mostly been developing with those devices in mind.
jackpot51··on Redox OS 0.7.0
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.

jackpot51··on Redox OS 0.7.0
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.

jackpot51··on Redox OS 0.7.0
Yep, all those too :D
jackpot51··on Redox OS 0.7.0
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 ;-)
jackpot51··on Redox OS 0.7.0
I'll add that, I would definitely have had that if something other than x86_64 was supported
jackpot51··on Redox OS 0.7.0
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.

jackpot51··on Redox OS 0.7.0
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.
jackpot51··on Redox OS 0.7.0
It has been a lot of work getting to this point. Finally, the foundation is laid for more regular updates.
jackpot51··on Redox OS 0.7.0
For fun and for knowledge, what else?
Page 1 of 5Next →