Changeset 469 for trunk/kernel/kernel_config.h

Timestamp:

Aug 20, 2018, 1:04:16 PM (6 years ago)

Author:

alain

Message:

1) Introduce the libsemaphore library.
2) Introduce a small libmath library, required by the "fft" application..
3) Introduce the multithreaded "fft" application.
4) Fix a bad synchronisation bug in the Copy-On-Write mechanism.

File:

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

trunk/kernel/kernel_config.h

@@ -123 +123 @@
 #define DEBUG_SYSCALLS_ERROR           2
 
-#define DEBUG_SYS_CLOSE                2
+#define DEBUG_SYS_CLOSE                0
 #define DEBUG_SYS_DISPLAY              0
 #define DEBUG_SYS_EXEC                 0
-#define DEBUG_SYS_EXIT                 1
+#define DEBUG_SYS_EXIT                 0
 #define DEBUG_SYS_FG                   0
 #define DEBUG_SYS_FORK                 0
@@ -133 +133 @@
 #define DEBUG_SYS_IS_FG                0
 #define DEBUG_SYS_KILL                 0
-#define DEBUG_SYS_OPEN                 2
+#define DEBUG_SYS_OPEN                 0
 #define DEBUG_SYS_MMAP                 0
 #define DEBUG_SYS_READ                 0
@@ -189 +189 @@
 
 #define CONFIG_KERNEL_IDENTITY_MAP          true       // True for 32 bits cores             
-#define CONFIG_MAX_CLUSTER                  256        // max number of clusters
+#define CONFIG_MAX_CLUSTERS                 256        // max number of clusters
 #define CONFIG_MAX_LOCAL_CORES              4          // max number of cores per cluster
 #define CONFIG_MAX_INT_DEV                  4          // max number of internal peripherals
@@ -206 +206 @@
 #define CONFIG_MAX_DMA_CHANNELS             4          // max number of DMA device channels
 #define CONFIG_MAX_NIC_CHANNELS             4          // max number of NIC device channels
-
-#define CONFIG_MAX_CLUSTERS                 256        // max number of clusters
 
 #define CONFIG_TXT_ECHO_MODE                1          // echo mode for TXT peripheral