Redox是用Rust语言写就的类Unix微内核操作系统。Redox追求可用性、自由和安全性，目标是把Rust语言的创新（安全、并发、实用）带入到现代的微内核和整套的应用程序。
支持.目前Redox支持:
设计.Redox为了实现它的目标，它有以下的一些设计决定：
历史.Redox最早于2015年4月20日在Github上发表。从此开始了活跃的开发进程。