From 887530f962e41f806718937bda2f5970db231119 Mon Sep 17 00:00:00 2001
From: gnucode <gnucode@web>
Date: Mon, 5 May 2025 17:14:15 +0200
Subject: I added redox OS.

---
 challenges.mdwn | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/challenges.mdwn b/challenges.mdwn
index 9a762038..6a767aa7 100644
--- a/challenges.mdwn
+++ b/challenges.mdwn
@@ -19,8 +19,8 @@ successful true multi-server [[microkernel]] system for general-purpose desktop
 use yet.  This is still an ongoing research effort.  Also the Hurd is not the
 only multiserver operating system. Other examples include:
 [[Genode OS|https://genode.org/]] (FOSS),  [[MINIX 3|https://www.minix3.org/]] (FOSS), 
-[[HELON OS|http://www.helenos.org/]] (FOSS), and [[QNX|https://blackberry.qnx.com/en]] 
-(proprietary).
+[[HELON OS|http://www.helenos.org/]] (FOSS), [[Redox OS|https://www.redox-os.org/]],
+and [[QNX|https://blackberry.qnx.com/en]] (proprietary).
 
 Likewise, [[resource scheduling|open_issues/multiprocessing]] in distributed operating system kernels is a
 research topic. The GNU/Hurd also has
-- 
cgit v1.3.1