diff --git a/repos/ports/run/tool_chain_auto.run b/repos/ports/run/tool_chain_auto.run
index a25fa4ad2a..f6d32f9588 100644
--- a/repos/ports/run/tool_chain_auto.run
+++ b/repos/ports/run/tool_chain_auto.run
@@ -222,7 +222,9 @@ install_config {
+ rtc="/dev/rtc" pipe="/pipe">
+
+