Fix bug in jitter reported by Godmar Back (BIOS wouldn't finish

initializing).

diff --git a/src/misc/bochs-2.2.6-jitter.patch b/src/misc/bochs-2.2.6-jitter.patch
index fe5144c09849394a74fb7f1e3f5580f52738b849..48917e06b1a638f7b424938753302f22d0a6dfd3 100644 (file)
--- a/src/misc/bochs-2.2.6-jitter.patch
+++ b/src/misc/bochs-2.2.6-jitter.patch
@@ -15,7 +15,7 @@ diff -urp bochs-2.2.6/iodev/pit82c54.cc bochs-2.2.6.orig/iodev/pit82c54.cc
          if(thisctr.triggerGATE || thisctr.first_pass) {
 -          set_count(thisctr, thisctr.inlatch);
 +            unsigned n = thisctr.inlatch;
          if(thisctr.triggerGATE || thisctr.first_pass) {
 -          set_count(thisctr, thisctr.inlatch);
 +            unsigned n = thisctr.inlatch;

-+            if (jitter) {
++            if (jitter && n > 5) {

 +                n *= (double) rand() / RAND_MAX;
 +                if (n < 5)
 +                    n = 5;
 +                n *= (double) rand() / RAND_MAX;
 +                if (n < 5)
 +                    n = 5;