From 720220cd61fb4cd33e3876484c201d8f17b603fa Mon Sep 17 00:00:00 2001
From: Jan Sommer <jan.sommer@dlr.de>
Date: Wed, 7 Jan 2026 18:42:27 +0100
Subject: [PATCH] ci: Add rtems to basic tier 3 checks

---
 ci/verify-build.py | 1 +
 src/new/mod.rs     | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/ci/verify-build.py b/ci/verify-build.py
index bdb0326373cf..8b3ac53478b3 100755
--- a/ci/verify-build.py
+++ b/ci/verify-build.py
@@ -155,6 +155,7 @@ class TargetResult:
     Target("aarch64-unknown-openbsd", dist=False),
     Target("aarch64-wrs-vxworks", dist=False),
     Target("armebv7r-none-eabihf", dist=False),
+    Target("armv7-rtems-eabihf", dist=False),
     Target("armv7-wrs-vxworks-eabihf", dist=False),
     Target("armv7r-none-eabihf", dist=False),
     Target("armv7s-apple-ios", dist=False),
diff --git a/src/new/mod.rs b/src/new/mod.rs
index 88b881a6c2e7..9a1e56df2005 100644
--- a/src/new/mod.rs
+++ b/src/new/mod.rs
@@ -110,7 +110,7 @@ cfg_if! {
         // pub(crate) use redox::*;
     } else if #[cfg(target_os = "rtems")] {
         mod rtems;
-        pub(crate) use rtems::*;
+        // pub(crate) use rtems::*;
     } else if #[cfg(target_os = "solaris")] {
         mod solaris;
         pub(crate) use solaris::*;