레독스 OS

레독스 OS(Redox OS)는 러스트 프로그래밍 언어로 작성된 MIT 라이선스의 유닉스 계열 마이크로커널 운영 체제이다.^[2][3] 레독스는 실제 하드웨어에서 동작한다.^[4]

레독스 OS

Orbital을 실행 중인 레독스 OS
개발자	Jeremy Soller, 레독스 개발자[1]
OS 계열	유닉스 계열
상태	지원 중
소스 형태	오픈 소스
최초 버전 출시일	2015년 4월 20일(10년 전)(2015-04-20)
저장소	gitlab.redox-os.org/redox-os/redox
마케팅 대상	데스크톱, 워크스테이션, 서버, 임베디드 시스템
패키지 관리자	마그넷(Magnet)
플랫폼	IA-32, x86-64
커널	마이크로커널
유저랜드	사용자 정의
기본 UI	명령 줄 인터페이스, 그래픽 사용자 인터페이스
라이선스	MIT
공식 웹사이트	www.redox-os.org

레독스는 Jeremy Soller가 개발하였으며 2015년 4월 20일 처음 GitHub에 게시되었다.^[5] 그 뒤로 40명 이상의 개발자들의 기여와 함께 개발이 진행 중이다.^[6]