summaryrefslogtreecommitdiff
path: root/challenges.mdwn
diff options
context:
space:
mode:
Diffstat (limited to 'challenges.mdwn')
-rw-r--r--challenges.mdwn12
1 files changed, 6 insertions, 6 deletions
diff --git a/challenges.mdwn b/challenges.mdwn
index 4c8e00f0..6a767aa7 100644
--- a/challenges.mdwn
+++ b/challenges.mdwn
@@ -19,12 +19,12 @@ 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 in distributed operating system kernels is a
-research topic. For example, read more about it on the relevant [[Open Issues
-page|open_issues/multiprocessing]]. Also, the [[microkernel/Viengoos]]
-research kernel project strives to explore these.
+Likewise, [[resource scheduling|open_issues/multiprocessing]] in distributed operating system kernels is a
+research topic. The GNU/Hurd also has
+[[open_issues/resource_management_problems]]. The [[microkernel/Viengoos]]
+research kernel project strives to fix these issues, but its development has ended.
TODO: more to come. [[!tag open_issue_documentation]]