jackpot51

12 ms·

31.
by jackpot51 4y 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
32.
by jackpot51 4y 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
33.
by jackpot51 4y ago
It has been a lot of work getting to this point. Finally, the foundation is laid for more regular updates.
34.
by jackpot51 4y ago
For fun and for knowledge, what else?
35.
by jackpot51 4y ago
No, I do not. Redox OS is hard to install permanently (there is no easy installer yet). Most of us are running Redox OS in a VM, with occasional experiments on real hardware.
36.
by jackpot51 4y ago
The next priorities will be to make the image installable, and to improve how rustc runs on Redox (for self-hosting). After that, it will be easier to develop on Redox OS and work on porting larger pieces of software like Firefox.
37.
by jackpot51 4y ago
I am Jeremy Soller, the creator of Redox OS, please ask me anything!
38.
Redox OS 0.7.0(redox-os.org)
234 points by jackpot51 4y ago|88 comments
39.
by jackpot51 5y ago
She
40.
by jackpot51 5y ago
I talked privately with others, and am fairly sure suicide was the cause of death. There were attempts in the past that I was unaware of until right before I wrote this article. I don't see what your point really is with this comment,
41.
by jackpot51 6y ago
There is an automatic reset to bootloader feature that will be removed prior to production, customer units will always require a physical keypress (Fn+ESC) in order to flash firmware: https://github.com/system76/launch&
42.
by jackpot51 6y ago
Would you mind creating a GitHub issue to track this on? We may decide to change the behavior before production EDIT: I have created an issue here: https://github.com/system76/launch/issues/17 We do not inten
43.
by jackpot51 6y ago
The fuck? It is an in house design and hase three USB-C ports, two USB-A ports, all connected through a USB 3.2 Gen 2 hub
44.
by jackpot51 6y ago
Port DRM drivers to userspace and use mesa, probably
45.
by jackpot51 6y ago
iwlwifi, a more complete USB stack, i2c hid, graphics acceleration. What does work is pretty cool though. Ethernet, input, non-accelerated graphics, nvme and ahci storage
46.
by jackpot51 6y ago
Next up is probably a graphical installer
47.
by jackpot51 6y ago
I am Jeremy Soller, the creator of Redox OS, please let me know if you have questions!
48.
Redox OS 0.6.0(redox-os.org)
111 points by jackpot51 6y ago|28 comments
49.
Gnome Shell UX plans for GNOME 40(blogs.gnome.org)
7 points by jackpot51 6y ago|0 comments
50.
by jackpot51 6y ago
Things like this typically require a monolithic kernel. NetBSD's rump kernel drivers might be portable to userspace
51.
by 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
52.
by jackpot51 6y ago
Thank you!
53.
by 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
54.
by 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
55.
by jackpot51 6y ago
The microkernel seems long forgotten to me, it is critical for improving security
56.
by 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.
57.
by jackpot51 6y ago
I'm Jeremy Soller, the creator of Redox OS. Let me know if you have questions!
58.
by jackpot51 6y ago
We will be working on stacking support soon
59.
by jackpot51 7y ago
This is inaccurate, the Lemur Pro supports charging through USB-C with a dead battery.
60.
Redox OS – Pkgar Introduction(redox-os.org)
2 points by jackpot51 7y ago|0 comments

More ›