O Redox OS, sistema operacional baseado em microkernel e escrito em Rust, teve um mês de junho de 2025 repleto de marcos que mostram a maturidade, ambição e crescimento do projeto. A mais recente edição do relatório mensal “This Month in Redox” revelou uma combinação poderosa de financiamento institucional, contratações estratégicas, avanços técnicos cruciais e integração com tecnologias modernas, consolidando o Redox como um dos projetos mais promissores do ecossistema open source.
Entre os destaques estão duas novas bolsas da NLnet/NGI Zero Commons Fund, a abertura de vagas para engenheiros, avanços técnicos em segurança e performance, a adoção do COSMIC Desktop Environment, suporte a boot por rede via PXE, e uma participação simbólica na RustConf 2025, celebrando uma década de evolução com o Rust.

Sustentabilidade e crescimento: financiamento e expansão da equipe Redox
Um dos pilares para o avanço contínuo do Redox OS é seu modelo sustentável de financiamento open source. Em junho de 2025, o projeto conquistou duas novas bolsas da NLnet Foundation via NGI Zero Commons Fund, voltadas para segurança baseada em capacidades e uma API de entrada/saída inspirada no io_uring.
Essas bolsas fortalecem o foco do projeto em áreas críticas: segurança granular, performance moderna e compatibilidade com padrões consolidados do Linux. O investimento não apenas cobre o desenvolvimento técnico, mas também indica confiança institucional no valor estratégico do Redox.
Novas bolsas da NLnet/NGI Zero: investimento em segurança e performance
As bolsas recém-aprovadas têm dois objetivos claros:
- Capability-based security: modelo de segurança onde processos recebem exatamente as permissões necessárias, e nada além disso. Esse modelo é uma evolução natural no contexto de um microkernel escrito em Rust, onde segurança de memória já é um diferencial.
- io_uring-like IO: traz para o Redox uma API de entrada/saída altamente performática e moderna, semelhante à do Linux. Isso representa ganhos reais de desempenho para aplicações de alto throughput, como servidores, sistemas embarcados e aplicações multimídia.
Redox está contratando: oportunidades para engenheiros de Build/CI
O Redox também abriu vagas para engenheiros, incluindo uma posição de Build/CI Engineer, com foco em melhorar a automação de builds e fluxos de integração contínua (CI).
Destaques da vaga:
- Part-time
- Remoto
- US$ 1.000/mês (orçamento atual)
- Horário e responsabilidades flexíveis
É uma excelente oportunidade para desenvolvedores interessados em contribuir com Rust, CI, infraestrutura, sistemas operacionais e open source em um ambiente altamente técnico e impactante.
Inovações fundamentais: o microkernel Redox se moderniza
O núcleo do Redox está passando por transformações profundas e estratégicas que alinham seu roadmap com os padrões mais modernos da computação de sistemas.
Segurança baseada em capacidades e E/S tipo io_uring
A transição para um modelo de capability-based security promete aumentar significativamente a segurança por design. Ao limitar o escopo de cada processo no sistema, o Redox reduz drasticamente a superfície de ataque — uma filosofia semelhante ao que o Fuchsia OS e seL4 adotam.
Paralelamente, o desenvolvimento de uma API de I/O assíncrona nos moldes do io_uring representa um salto de eficiência, especialmente para sistemas com alto volume de chamadas de sistema.
Wayland e Unix Domain Sockets: pilares para o futuro gráfico
Com o avanço do projeto RSoC, o Redox agora suporta sendmsg e recvmsg para Unix Domain Sockets, permitindo o envio de file descriptors entre processos. Essa funcionalidade é crucial para a implementação de Wayland, que depende fortemente dessa comunicação interprocessos para segurança e modularidade.
Wayland no Redox não é um experimento: é uma aposta real para fornecer um ambiente gráfico seguro, moderno e eficiente.
Suporte a network booting (PXE): flexibilidade na inicialização
O Redox agora oferece suporte a Network Booting (PXE), permitindo inicializar sistemas via rede em ambientes UEFI. Isso é essencial para:
- Testes em larga escala
- Dispositivos sem armazenamento local
- Infraestruturas imutáveis
- Ambientes bare-metal modernos
Redox e o ecossistema Linux: colaboração e adoção de COSMIC Desktop
A integração com o COSMIC Desktop Environment, desenvolvido pela System76, mostra como o Redox pode ser compatível e interoperável com projetos estabelecidos do Linux, mesmo sendo um SO alternativo com arquitetura distinta.
Participação na RustConf 2025: compartilhando a jornada com Rust
O Redox marcou presença na RustConf 2025 com a palestra “10 Years of Rust and Redox”. A participação reforça os laços entre a linguagem Rust e o Redox OS, evidenciando como ambos evoluíram juntos — compartilhando uma filosofia de segurança, performance e confiabilidade.
COSMIC Desktop: adotando um ambiente moderno e modular
A equipe do Redox está adotando os aplicativos do COSMIC, com planos para utilizar também o COSMIC Compositor. A modularidade do COSMIC se alinha perfeitamente à arquitetura capability-oriented e microkernel do Redox.
Melhorias em subsistemas core: de Kernel a RedoxFS e Relibc
Kernel e chamadas de sistema: otimizações e estabilidade
O kernel passou por unificação de código entre x86-64 e i686, melhorias em verbosidade de logs, correções de regressões e novas opções de boot (como carregar o sistema em modo Live na RAM).
Drivers e melhorias gerais do sistema
Houve refatorações significativas em drivers gráficos, correções no sistema de arquivos, melhorias no bootloader e redução de dependências desnecessárias em utilitários de sistema.
RedoxFS e Relibc: turbinando o sistema de arquivos e a biblioteca C
No RedoxFS, a performance de criação de arquivos e diretórios foi massivamente melhorada, além de otimizações em lookups baseados em caminho. Já na Relibc, bugs foram corrigidos, como um erro em rename
com caminhos relativos.
Infraestrutura e ferramentas de desenvolvimento: aprimorando o workflow Redox
Networking e testes: conexão e confiabilidade aprimoradas
Foram resolvidos bugs na stack de rede e introduzidos novos testes automatizados para Unix domain sockets e chamadas openat
, além da integração com o Open POSIX Test Suite.
Empacotamento (pkg): eficiência e flexibilidade na distribuição de software
O gerenciador de pacotes (pkg) recebeu melhorias de lógica, performance, resolução de symlinks e testes unitários. Um repositório de pacotes customizado foi introduzido.
Melhorias no terminal e nos programas
A shell Ion teve seu prompt corrigido, e novas funcionalidades foram embutidas. Aplicativos como FreeCiv, COSMIC Files, COSMIC Store, OpenJK e mgba foram atualizados. Dependências foram migradas para alternativas mais modernas, como libjpeg-turbo no lugar de libjpeg.
Outras melhorias incluem:
- Atualizações em bibliotecas Rust
- Uso de TOML em diversas receitas de build
- Suporte a ARM64
- Desativação de manpages para acelerar builds
- Padronização de variáveis como
BROWSER
para desktops
Sistema de Build: performance e compatibilidade aprimoradas
O sistema de build foi otimizado com melhorias como:
- Instalação de bootloader customizado
- Redução de fetchs desnecessários via Git
- Compatibilidade com Podman, Docker e Redoxer
- Suporte a firmware UEFI do QEMU
- Builds funcionais em Ubuntu 24.04
Documentação: o guia para contribuidores e usuários
A equipe de documentação adicionou:
- Developer FAQ
- Técnicas de debugging com GDB
- Documentação de esquemas
- Localização de receitas
- Explicações sobre microkernels e vantagens do Redox
- Guia de contribuição e exemplo de uso com Cargo, Make, CMake, Meson, Shell scripts, Podman, entre outros.
Ferramentas como lychee foram integradas para verificação de links quebrados.
Conclusão: Redox OS – um futuro promissor para sistemas operacionais inovadores
O Redox OS está longe de ser apenas um experimento acadêmico. Em junho de 2025, ele demonstrou maturidade técnica, expansão estratégica e integração com tecnologias relevantes, posicionando-se como um dos sistemas operacionais mais inovadores da atualidade.
Ao combinar um microkernel seguro em Rust com suporte gráfico moderno, performance de alto nível, infraestrutura de desenvolvimento robusta e uma comunidade ativa, o Redox sinaliza um caminho realista e empolgante para o futuro dos sistemas operacionais seguros e modulares.