I’m keenly curious about Redox.
I’ve been a Windows user since “Windows for Workgroups 3.11” and I do software development and IT support.
Lately, Windows 10 has been making me very angry. So much that I’m actually considering switching to a non-Microsoft Operating System despite the inconveniences that will cause.
I’ve been playing with Ubuntu and I’m not entirely happy with it, in part because Linux shares a design flaw with Windows - monolithic kernels.
I am extremely interested in using a microkernel OS like Redox for my primary operating system.
Among the other microkernels out there, sel4 seems to have the most promise, but it’s momentum is towards embedded markets. Formal verification isn’t a hard requirement for me with Redox (because Rust), but if Redox chooses to pursue formal verification, it will likely be a lot easier to accomplish than C/C++ (again because Rust).
So, in thinking about what I’d need in Redox to become my desktop of choice, this is the list I came up with. I realize some of this may be in the works or done already, but this is my personal needs list.
terminal: check ( although does Redox’s terminal window have problems with scrolling - it was acting weird on me )
browsers: Chrome and Firefox.
gnu toolchain: find, grep
support for building redox apps as well as cross-compiling to Windows/Linux/Mac using the following: rustc, gcc, Python
visual studio code for ide
steam for gaming would be eventual icing on the cake
where I’d be interested in contributing:
I’d be interested in helping implement support for dynamic libraries and getting wine to run in Redox so that we can natively run select win32/64 applications, but I would need some guidance on where to start.