summaryrefslogtreecommitdiffstats
path: root/rsnix/src/sched.rs
diff options
context:
space:
mode:
Diffstat (limited to 'rsnix/src/sched.rs')
-rw-r--r--rsnix/src/sched.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/rsnix/src/sched.rs b/rsnix/src/sched.rs
index 107dba6..d148164 100644
--- a/rsnix/src/sched.rs
+++ b/rsnix/src/sched.rs
@@ -198,7 +198,7 @@ const WATCHDOG_SPIN_TICKS: u32 = 1500;
198/// Boot-phase threshold for task 0 (the shell): before the REPL is live, 198/// Boot-phase threshold for task 0 (the shell): before the REPL is live,
199/// task 0 runs init code where a fixed frame means a driver/controller 199/// task 0 runs init code where a fixed frame means a driver/controller
200/// hang — panic after ~15 s wall. The boot must finish well inside this. 200/// hang — panic after ~15 s wall. The boot must finish well inside this.
201const WATCHDOG_BOOT_SPIN_TICKS: u32 = 750; 201const WATCHDOG_BOOT_SPIN_TICKS: u32 = 2000; // 20 s: room for hub/USB bring-up
202 202
203/// True once the shell REPL is live (set by main.rs before shell::run()). 203/// True once the shell REPL is live (set by main.rs before shell::run()).
204/// The shell legitimately blocks on its message queue once live; 204/// The shell legitimately blocks on its message queue once live;