Redox OS – Junho de 2025: microkernel em Rust avança com financiamento, contratações e inovações em Wayland, io_uring e COSMIC Desktop

Escrito por
Emanuel Negromonte
Emanuel Negromonte é Jornalista, Mestre em Tecnologia da Informação e atualmente cursa a segunda graduação em Engenharia de Software. Com 14 anos de experiência escrevendo sobre...

Redox OS acelera seu futuro com Rust, segurança de ponta e um ecossistema moderno

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.

Redox OS em junho de 2025 com novos recursos, COSMIC e Wayland em destaque

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.

Compartilhe este artigo