Redox OS Making Progress On RISC-V Support, Eyes QEMU & Neovim Ports

[phoronix]

Phoronix: Redox OS Making Progress On RISC-V Support, Eyes QEMU & Neovim Ports

The Redox OS open-source Rust-written operating system project has published their September 2024 status update...

https://www.phoronix.com/news/Redox-OS-September-2024

[Vorpal]

Love to see this project, I hope they can figure out how to make a micro kernel work well, and if not, have a good time while doing it.

[hf_139]

See!
When the eunuchs create their own kernel, it's all good and there is no conflict.
I wish them good luck in their own corner. Just leave others alone and stop swatting developers who refuse to switch to Rust. It's illegal anyway.
Interestingly, the Microsoft employee, who tried to push Rust into Linux even harder, refuses to join Redox.

[Quackdoc]

I would love to see crosvm ported too, no super massive reason other then "rust + rust".

[oleid]

hf_139 wrote:

See! [...]

Remember:
Don't feed the troll.

[jokeyrhyme]

Love to see this project, I hope they can figure out how to make a micro kernel work well, and if not, have a good time while doing it.

According to the folks on this podcast episode, the whole industry has been misled about micro kernels versus monolithic kernels: https://oxide.computer/podcasts/oxid...friends/838559

The story goes that there was an example micro kernel project with bad performance, and a paper was written that draws the conclusion that all micro kernels have performance problems, even though there are other examples of excellent micro kernels (e.g. L4, etc)

[mobadboy]

According to the folks on this podcast episode, the whole industry has been misled about micro kernels versus monolithic kernels: https://oxide.computer/podcasts/oxid...friends/838559

The story goes that there was an example micro kernel project with bad performance, and a paper was written that draws the conclusion that all micro kernels have performance problems, even though there are other examples of excellent micro kernels (e.g. L4, etc)

L4 remains unproven in any industry and all performance expectations are unfounded

[ayumu]

L4 remains unproven in any industry and all performance expectations are unfounded

Don't miss the seL4 summit, in a week or two.

[mobadboy]

Don't miss the seL4 summit, in a week or two.

no thanks

until i hold a device, it remains theoretical. i remember spending many hours trying to find an L4 microkernel OS to play with, and never found one.

meanwhile redox and helios just built their own. wonder why...........................................

[zankai]

When the eunuchs create their own kernel, it's all good and there is no conflict.

The pot calling the kettle black : D