Changeset 398

Timestamp:

Aug 17, 2017, 11:35:27 AM (7 years ago)

Author:

max@…

Message:

Wrong value in the timer.

File:

• trunk/kernel/kern/kernel_init.c (modified) (2 diffs)

trunk/kernel/kern/kernel_init.c

@@ -1088 +1088 @@
         print_banner( (info->x_size * info->y_size) , info->cores_nr );
 
-        kinit_dmsg("\n\n***** memory fooprint for main kernet objects\n\n"
+        kinit_dmsg("\n\n***** memory fooprint for main kernel objects\n\n"
                    " - thread descriptor  : %d bytes\n"
                    " - process descriptor : %d bytes\n"
@@ -1131 +1131 @@
     }
 
-    // each core activates its private TICK IRQ (number of ticks)
-    dev_pic_enable_timer( CONFIG_SCHED_TICKS_PER_QUANTUM );
+    // each core activates its private TICK IRQ
+    dev_pic_enable_timer( CONFIG_SCHED_TICK_MS_PERIOD );
 
     // each core jump to idle thread