diff options
Diffstat (limited to '')
| -rw-r--r-- | rsnix/src/sched.rs | 2 |
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. |
| 201 | const WATCHDOG_BOOT_SPIN_TICKS: u32 = 750; | 201 | const 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; |
