diff options
| author | gnucode <gnucode@web> | 2025-05-05 17:14:15 +0200 |
|---|---|---|
| committer | GNU Hurd web pages engine <web-hurd@gnu.org> | 2025-05-05 17:14:15 +0200 |
| commit | 887530f962e41f806718937bda2f5970db231119 (patch) | |
| tree | 079a703c6277ebe95630c4ba57fae17d71a02bd4 | |
| parent | 098a2d81607084097a847b147d70b6d7e6d39d88 (diff) | |
I added redox OS.
| -rw-r--r-- | challenges.mdwn | 4 |
1 files 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 |