Changeset 532 for trunk/kernel/kern

Timestamp:

Sep 21, 2018, 10:20:00 PM (6 years ago)

Author:

nicolas.van.phan@…

Message:

Add message to show enabling of IPI on cores.

File:

• trunk/kernel/kern/kernel_init.c (modified) (1 diff)

trunk/kernel/kern/kernel_init.c

@@ -923 +923 @@
     dev_pic_enable_ipi();
     hal_enable_irq( &status );
+
+#if DEBUG_KERNEL_INIT
+printk("\n[DBG] %s: IPI enabled for core %d cluster %d\n", __FUNCTION__,
+  core_lid, local_cxy);
+#endif
 
     // all cores initialize the idle thread descriptor