Support accurate short delays in the timer code, to speed up disk

[pintos-anon] / src / threads / init.c

diff --git a/src/threads/init.c b/src/threads/init.c
index 741f0e42e4339b8824f16646aae237de0f365dc0..1135ae7ccecc79ad1593671c7e3bbd906c31caa1 100644 (file)
--- a/src/threads/init.c
+++ b/src/threads/init.c
@@ -105,6 +105,7 @@ main (void)
   /* Start thread scheduler and enable interrupts. */
   thread_start ();
   serial_init_queue ();
+  timer_calibrate ();
 
 #ifdef FILESYS
   /* Initialize filesystem. */