Changeset 188 for trunk/kernel_config.h

Timestamp:

Jul 12, 2017, 8:12:41 PM (7 years ago)

Author:

alain

Message:

Redefine the PIC device API.

File:

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

trunk/kernel_config.h

@@ -44 +44 @@
 #define CONFIG_FBF_DEBUG              0
 #define CONFIG_FORK_DEBUG             0
-#define CONFIG_ICU_DEBUG              0
 #define CONFIG_IDLE_DEBUG             1
 #define CONFIG_IOC_DEBUG              0
+#define CONFIG_IRQ_DEBUG              0
 #define CONFIG_KCM_DEBUG              0
 #define CONFIG_KHM_DEBUG              0
@@ -76 +76 @@
 #define CONFIG_MAX_INT_DEV                  4          // max number of internal peripherals
 #define CONFIG_MAX_EXT_DEV                  8          // max number of external peripherals
-#define CONFIG_MAX_HWIS_PER_ICU             32         // max number of HWI per ICU
-#define CONFIG_MAX_PTIS_PER_ICU             32         // max number of PTI per ICU
-#define CONFIG_MAX_WTIS_PER_ICU             32         // max number of WTI per ICU
-#define CONFIG_MAX_IRQS_PER_PIC             32         // max number of input IRQs in PIC 
+#define CONFIG_MAX_INTERNAL_IRQS            32         // max number of HWI per ICU
+#define CONFIG_MAX_EXTERNAL_IRQS            32         // max number of PTI per ICU
 #define CONFIG_IRQS_PER_CORE                4          // number of input IRQs per core
 #define CONFIG_CLUSTER_SPAN                 32         // ln(phys. address space per cluster)
@@ -96 +94 @@
 #define CONFIG_TXT_ECHO_MODE                1          // echo mode for TXT peripheral
 
+#define CONFIG_FBF_WIDTH                    128
+#define CONFIG_FBF_HEIGHT                   128
+
+#define CONFIG_CPU_CTX_SIZE                 128        // up to 32 uint32_t registers
+#define CONFIG_FPU_CTX_SIZE                 256        // up to 32 uint64_t registers
 #define CONFIG_NIC_CHBUF_DEPTH              1          // number of containers in NIC chbuf