From 4949737a386f5d88d3525807384f87a5e3a26772 Mon Sep 17 00:00:00 2001
From: Wolfgang Walther <walther@technowledgy.de>
Date: Tue, 28 Oct 2025 15:21:49 +0100
Subject: [PATCH] systems/examples: remove x86_64-unknown-redox

relibc itself has been removed in 2024 already.
---
 lib/systems/examples.nix | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/lib/systems/examples.nix b/lib/systems/examples.nix
index 47c3cf0c9558..d05c05910523 100644
--- a/lib/systems/examples.nix
+++ b/lib/systems/examples.nix
@@ -302,15 +302,6 @@ rec {
     libc = "newlib";
   };
 
-  #
-  # Redox
-  #
-
-  x86_64-unknown-redox = {
-    config = "x86_64-unknown-redox";
-    libc = "relibc";
-  };
-
   #
   # Darwin
   #