diff --git a/repos/ports/run/noux_tool_chain_auto.run b/repos/ports/run/noux_tool_chain_auto.run
index 61d42b1ee2..38694ca21a 100644
--- a/repos/ports/run/noux_tool_chain_auto.run
+++ b/repos/ports/run/noux_tool_chain_auto.run
@@ -50,7 +50,7 @@ if {[have_spec x86]} {
 	set platform            "hw_x86_64"
 
 	if {[have_spec foc]} {
-		set tool_chain_timeout  800
+		set tool_chain_timeout  850
 	}
 }