Changeset 279 for trunk/kernel_config.h

Timestamp:

Jul 27, 2017, 12:23:29 AM (7 years ago)

Author:

alain

Message:

1) Introduce independant command fields for the various devices in the thread descriptor.
2) Introduce a new dev_pic_enable_ipi() function in the generic PIC device
3) Fix two bugs identified by Maxime in the scheduler initialisation, and in the sched_select().
4) fix several bugs in the TSAR hal_kentry.S.
5) Introduce a third kgiet segment (besides kdata and kcode) in the TSAR bootloader.

File:

• trunk/kernel_config.h (modified) (4 diffs)

trunk/kernel_config.h

@@ -36 +36 @@
 #define CONFIG_CONTEXT_DEBUG          0
 #define CONFIG_CORE_DEBUG             0
-#define CONFIG_DEVFS_DEBUG            0
+#define CONFIG_DEVFS_DEBUG            1
 #define CONFIG_DMA_DEBUG              0
 #define CONFIG_DQDT_DEBUG             0
-#define CONFIG_ELF_DEBUG              1
-#define CONFIG_EXEC_DEBUG             1
+#define CONFIG_ELF_DEBUG              0
+#define CONFIG_EXEC_DEBUG             0
 #define CONFIG_FATFS_DEBUG            1
 #define CONFIG_FBF_DEBUG              0
 #define CONFIG_FORK_DEBUG             0
 #define CONFIG_IDLE_DEBUG             0
-#define CONFIG_IOC_DEBUG              0
-#define CONFIG_IRQ_DEBUG              0
+#define CONFIG_IOC_DEBUG              1
+#define CONFIG_IRQ_DEBUG              1
 #define CONFIG_KCM_DEBUG              0
 #define CONFIG_KHM_DEBUG              0
@@ -52 +52 @@
 #define CONFIG_KMEM_DEBUG             0
 #define CONFIG_MMC_DEBUG              0
-#define CONFIG_MAPPER_DEBUG           1 
+#define CONFIG_MAPPER_DEBUG           0 
 #define CONFIG_NIC_DEBUG              0
 #define CONFIG_PIC_DEBUG              0
 #define CONFIG_PPM_DEBUG              0
-#define CONFIG_PROCESS_DEBUG          1
-#define CONFIG_RPC_DEBUG              0
+#define CONFIG_PROCESS_DEBUG          0
+#define CONFIG_RPC_DEBUG              1
 #define CONFIG_SCHED_DEBUG            0
 #define CONFIG_SIGNAL_DEBUG           0
@@ -64 +64 @@
 #define CONFIG_TXT_DEBUG              0
 #define CONFIG_VFS_DEBUG              1
-#define CONFIG_VMM_DEBUG              1
+#define CONFIG_VMM_DEBUG              0
 
 ////////////////////////////////////////////////////////////////////////////////////////////
@@ -216 +216 @@
 #define CONFIG_VMM_VSPACE_SIZE        0x100000     // virtual space           : 4   Gbytes
 
+#define CONFIG_VMM_KENTRY_BASE        0x000004     // KENTRY zone base        : 16  Kbytes
 #define CONFIG_VMM_ELF_BASE           0x000400     // ELF zone base           : 4   Mbytes
 #define CONFIG_VMM_HEAP_BASE          0x000800     // HEAP zone base          : 8   Mbytes