diff options
| -rw-r--r-- | gnu/build/linux-boot.scm | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gnu/build/linux-boot.scm b/gnu/build/linux-boot.scm index 7d1b3ee835..461df9ff46 100644 --- a/gnu/build/linux-boot.scm +++ b/gnu/build/linux-boot.scm @@ -585,6 +585,16 @@ upon error." (unless (configure-qemu-networking) (display "network interface is DOWN\n"))) + ;; A big ugly hammer, to be used only for debugging and in desperate + ;; situations where no proper device synchonisation is possible. + (let ((root-delay (and=> (find-long-option "rootdelay" args) + string->number))) + (when root-delay + (format #t + "Pausing for rootdelay=~a seconds before mounting the root file system...\n" + root-delay) + (sleep root-delay))) + ;; Prepare the real root file system under /root. (unless (file-exists? "/root") (mkdir "/root")) |