Rare find

Redox Kernel. A from-scratch operating system core written in Rust instead of C.

github.com/redox-os/kernel

@redox-os

Problem

The full read on this project is a sign-in away — what it solves, who it serves, and where it sits in the market.

Audience

The full read on this project is a sign-in away — what it solves, who it serves, and where it sits in the market.

Market

The full read on this project is a sign-in away — what it solves, who it serves, and where it sits in the market.

Pricing

The full read on this project is a sign-in away — what it solves, who it serves, and where it sits in the market.

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

July 2026

Separate Timers Jul 24
Memory: honor requested memory type for anonymous mappings Jul 24
AArch64: Return None instead of panicking in get_interrupt Jul 24
AArch64: Default PTEs to Inner Shareable Jul 24
AArch64: Fix FPCR/FPSR save/restore writing past FloatRegisters Jul 24
Fix poll hang in os-test basic/poll Jul 23
Change padding to work correctly on both 32 and 64 bit systems Jul 21
DTB: Honor fixed reserved-memory regions and FDT memory reservations Jul 21
Fix read_with_timeout Jul 21
Revert "Separate timers" Jul 20
Revert "Partially solve missing wakeups after separate timers" Jul 20
Revert "Finish the work on separating timers" Jul 20
fix: Fix futex on shared memory by correcting CoW pages before transl… Jul 20
CI: Add clippy check Jul 19
AArch64: Fix Meson UART formatting Jul 19
AArch64: Enable diagnostic UART receive interrupts Jul 18
AArch64: Configure GIC SPI trigger types Jul 18
AArch64: Add Meson UART console support Jul 18
* Do not use `KernelMapper` for ACPI SDT mapping Jul 18
Partially solve missing wakeups after separate timers Jul 18
AArch64: Map diagnostic UART and root GIC MMIO Jul 18
DTB: Translate MMIO addresses through nested buses Jul 18
Fix EOF using EVENT_TIMEOUT_ID Jul 18
refactor: Allow refreshing filetable data using dup2 to fix O_CLOEXEC Jul 18
Finish the work on separating timers Jul 16
Fix RISCV init memory Jul 16
Implement make install and test targets Jul 15
Use `Mutex` for round robin index allocation Jul 12
Add support for querying dom-node map Jul 11
Fix a race in get_round_robin_index. Jul 11