The developers of the Redox operating system, written using the Rust language and the microkernel concept, published a report on the development of the project for May. Among the achievements, the successful port of the Xfce desktop environment was noted, the work of which in Redox is noted as more stable than the MATE port, which has unresolved problems with the Caja file manager.

A new task scheduler has also been implemented for Redox, using the EEVDF (Earliest Eligible Virtual Deadline First) algorithm. When selecting the next process to transfer execution, the new scheduler takes into account processes that have not received enough processor resources or have received an unfair amount of processor time. In the first case, the transfer of control to the process is forced, and in the second, on the contrary, it is postponed.
Work continued to improve POSIX compatibility of the standard C library relibc, written in Rust. Improved pseudo terminal driver. Added partial support for limiting resources using the rlimit mechanism. The performance of poll and epoll operations has been significantly improved (up to 4 times when tested in QEMU). Implemented inode caching, which reduced test compilation time in GCC from 2411 to 670 ms. Implemented incremental compilation of changes in packages.
The graphical interface for monitoring system status has been ported from the COSMIC desktop environment. Added the ability to configure fonts in the terminal emulator. Ported CPython 3.15 and libdrm.

The Redox operating system is developed in accordance with the Unix philosophy and borrows some ideas from SeL4, Minix, and Plan 9. Redox uses the concept of a microkernel, in which only interaction between processes and resource management are provided at the