Changeset 441 for trunk/kernel/kernel_config.h

Timestamp:

May 9, 2018, 3:13:56 PM (6 years ago)

Author:

alain

Message:

Fix a bug in rpc_vmm_get_pte_client() function (bad RPC index).

File:

• trunk/kernel/kernel_config.h (modified) (1 diff)

trunk/kernel/kernel_config.h

@@ -121 +121 @@
 
 #define DEBUG_SYS_DISPLAY              0
-#define DEBUG_SYS_EXEC                 2
-#define DEBUG_SYS_EXIT                 2
+#define DEBUG_SYS_EXEC                 0
+#define DEBUG_SYS_EXIT                 0
 #define DEBUG_SYS_FG                   0
-#define DEBUG_SYS_FORK                 2
+#define DEBUG_SYS_FORK                 0
 #define DEBUG_SYS_GET_CONFIG           0
 #define DEBUG_SYS_ISATTY               0
-#define DEBUG_SYS_KILL                 2
+#define DEBUG_SYS_KILL                 0
 #define DEBUG_SYS_MMAP                 0
 #define DEBUG_SYS_READ                 0
 #define DEBUG_SYS_THREAD_CANCEL        0
 #define DEBUG_SYS_THREAD_CREATE        0
-#define DEBUG_SYS_THREAD_EXIT          0
+#define DEBUG_SYS_THREAD_EXIT          1
 #define DEBUG_SYS_THREAD_JOIN          0
 #define DEBUG_SYS_THREAD_SLEEP         0