source: trunk/kernel/kernel_config.h @ 468

Last change on this file since 468 was 459, checked in by alain, 6 years ago

Introduce the math library, to support the floating point
data used by the multi-thread fft application.
Fix several bugs regarding the FPU context save/restore.
Introduce support for the %f format in printf.

File size: 17.6 KB
Line 
1/*
2 * kernel_config.h - global kernel configuration arguments
3 *
4 * Authors  Ghassan Almaless (2008,2009,2010,2011,2012)
5 *          Mohamed Lamine Karaoui (2015)
6 *          Alain Greiner (2016,2017,2018)
7 *
8 * Copyright (c)  UPMC Sorbonne Universites
9 *
10 * This file is part of ALMOS-MKH.
11 *
12 * ALMOS-MKH is free software; you can redistribute it and/or modify it
13 * under the terms of the GNU General Public License as published by
14 * the Free Software Foundation; version 2.0 of the License.
15 *
16 * ALMOS-MKH is distributed in the hope that it will be useful, but
17 * WITHOUT ANY WARRANTY; without even the implied warranty of
18 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
19 * General Public License for more details.
20 *
21 * You should have received a copy of the GNU General Public License
22 * along with ALMOS-MKH; if not, write to the Free Software Foundation,
23 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
24 */
25
26#ifndef _ALMOS_CONFIG_H_
27#define _ALMOS_CONFIG_H_
28
29#define CONFIG_ALMOS_VERSION           "Version 1.0 / August 2018"
30
31////////////////////////////////////////////////////////////////////////////////////////////
32//                              KERNEL DEBUG
33//  Each debug variable control one kernel function, or one small group of functions.
34//  - trace is generated only when cycle > debug_value.
35//  - detailed trace is enabled when (debug_value & Ox1) is non zero.
36////////////////////////////////////////////////////////////////////////////////////////////
37
38#define DEBUG_CHDEV_CMD_RX             0
39#define DEBUG_CHDEV_CMD_TX             0
40#define DEBUG_CHDEV_SERVER_RX          0
41#define DEBUG_CHDEV_SERVER_TX          0
42
43#define DEBUG_CLUSTER_INIT             0
44#define DEBUG_CLUSTER_PID_ALLOC        0
45#define DEBUG_CLUSTER_PID_RELEASE      0
46#define DEBUG_CLUSTER_PROCESS_COPIES   0
47
48#define DEBUG_DEV_TXT_RX               0
49#define DEBUG_DEV_TXT_TX               0
50#define DEBUG_DEV_IOC_RX               0
51#define DEBUG_DEV_IOC_TX               0
52#define DEBUG_DEV_NIC_RX               0
53#define DEBUG_DEV_NIC_RX               0
54#define DEBUG_DEV_FBF_RX               0
55#define DEBUG_DEV_FBF_TX               0
56#define DEBUG_DEV_DMA                  0
57#define DEBUG_DEV_MMC                  0
58#define DEBUG_DEV_PIC                  0
59
60#define DEBUG_DEVFS_INIT               0
61#define DEBUG_DEVFS_MOVE               0
62
63#define DEBUG_FATFS_INIT               0
64#define DEBUG_FATFS_MOVE               0
65#define DEBUG_FATFS_LOAD               0
66
67#define DEBUG_HAL_GPT_ACCESS           0
68#define DEBUG_HAL_GPT_CREATE           0
69#define DEBUG_HAL_GPT_DESTROY          0
70
71#define DEBUG_HAL_KENTRY               0
72#define DEBUG_HAL_EXCEPTIONS           0
73#define DEBUG_HAL_IRQS                 0       
74#define DEBUG_HAL_TXT_RX               0
75#define DEBUG_HAL_TXT_TX               0
76#define DEBUG_HAL_IOC_RX               0
77#define DEBUG_HAL_IOC_TX               0
78#define DEBUG_HAL_GPT                  0
79
80#define DEBUG_KCM                      0
81#define DEBUG_KMEM                     0
82
83#define DEBUG_KERNEL_INIT              0
84#define DEBUG_KMEM_ALLOC               0
85
86#define DEBUG_MAPPER_GET_PAGE          0
87#define DEBUG_MAPPER_MOVE_USER         0
88#define DEBUG_MAPPER_MOVE_KERNEL       0
89
90#define DEBUG_PPM_ALLOC_PAGES          0
91#define DEBUG_PPM_FREE_PAGES           0
92
93#define DEBUG_PROCESS_COPY_INIT        0
94#define DEBUG_PROCESS_DESTROY          0
95#define DEBUG_PROCESS_GET_LOCAL_COPY   0
96#define DEBUG_PROCESS_INIT_CREATE      0
97#define DEBUG_PROCESS_MAKE_EXEC        0
98#define DEBUG_PROCESS_MAKE_FORK        0
99#define DEBUG_PROCESS_REFERENCE_INIT   0
100#define DEBUG_PROCESS_SIGACTION        0
101#define DEBUG_PROCESS_TXT              0
102#define DEBUG_PROCESS_ZERO_CREATE      0
103
104#define DEBUG_RPC_CLIENT_GENERIC       0
105#define DEBUG_RPC_SERVER_GENERIC       0
106
107#define DEBUG_RPC_PMEM_GET_PAGES       0
108#define DEBUG_RPC_PMEM_RELEASE_PAGES   0
109#define DEBUG_RPC_PROCESS_MAKE_FORK    0
110#define DEBUG_RPC_PROCESS_SIGACTION    0
111#define DEBUG_RPC_VFS_INODE_CREATE     0
112#define DEBUG_RPC_VFS_INODE_DESTROY    0
113#define DEBUG_RPC_VFS_DENTRY_CREATE    0
114#define DEBUG_RPC_VFS_DENTRY_DESTROY   0
115#define DEBUG_RPC_VFS_FILE_CREATE      0
116#define DEBUG_RPC_VFS_FILE_DESTROY     0
117#define DEBUG_RPC_VMM_GET_PTE          0
118#define DEBUG_RPC_VMM_GET_VSEG         0
119
120#define DEBUG_SCHED_HANDLE_SIGNALS     2
121#define DEBUG_SCHED_YIELD              2    // must be activated by the trace() syscall
122
123#define DEBUG_SYSCALLS_ERROR           2
124
125#define DEBUG_SYS_CLOSE                2
126#define DEBUG_SYS_DISPLAY              0
127#define DEBUG_SYS_EXEC                 0
128#define DEBUG_SYS_EXIT                 1
129#define DEBUG_SYS_FG                   0
130#define DEBUG_SYS_FORK                 0
131#define DEBUG_SYS_GET_CONFIG           0
132#define DEBUG_SYS_ISATTY               0
133#define DEBUG_SYS_IS_FG                0
134#define DEBUG_SYS_KILL                 0
135#define DEBUG_SYS_OPEN                 2
136#define DEBUG_SYS_MMAP                 0
137#define DEBUG_SYS_READ                 0
138#define DEBUG_SYS_THREAD_CANCEL        0
139#define DEBUG_SYS_THREAD_CREATE        0
140#define DEBUG_SYS_THREAD_EXIT          0
141#define DEBUG_SYS_THREAD_JOIN          0
142#define DEBUG_SYS_THREAD_SLEEP         0
143#define DEBUG_SYS_THREAD_WAKEUP        0
144#define DEBUG_SYS_THREAD_YIELD         0
145#define DEBUG_SYS_TRACE                0
146#define DEBUG_SYS_WAIT                 0
147#define DEBUG_SYS_WRITE                0
148
149#define DEBUG_SPINLOCKS                0
150#define DEBUG_REMOTE_SPINLOCKS         0
151#define DEBUG_RWLOCKS                  0
152#define DEBUG_REMOTE_RWLOCKS           0
153
154#define DEBUG_THREAD_DESTROY           0
155#define DEBUG_THREAD_IDLE              0
156#define DEBUG_THREAD_INIT              0
157#define DEBUG_THREAD_KERNEL_CREATE     0
158#define DEBUG_THREAD_KILL              0
159#define DEBUG_THREAD_USER_CREATE       0
160#define DEBUG_THREAD_USER_FORK         0
161#define DEBUG_THREAD_USER_EXEC         0
162#define DEBUG_THREAD_BLOCK             0
163
164#define DEBUG_VFS_CLOSE                0
165#define DEBUG_VFS_INODE_CREATE         0
166#define DEBUG_VFS_INODE_LOAD           0
167#define DEBUG_VFS_DENTRY_CREATE        0
168#define DEBUG_VFS_OPEN                 0
169#define DEBUG_VFS_LOOKUP               0
170#define DEBUG_VFS_ADD_CHILD            0
171#define DEBUG_VFS_MAPPER_MOVE          0
172#define DEBUG_VFS_MAPPER_LOAD          0
173
174#define DEBUG_VMM_CREATE_VSEG          0
175#define DEBUG_VMM_DESTROY              0
176#define DEBUG_VMM_FORK_COPY            0
177#define DEBUG_VMM_GET_ONE_PPN          0
178#define DEBUG_VMM_GET_PTE              0
179#define DEBUG_VMM_HANDLE_PAGE_FAULT    0
180#define DEBUG_VMM_INIT                 0
181#define DEBUG_VMM_PAGE_ALLOCATE        0
182#define DEBUG_VMM_SET_COW              0
183#define DEBUG_VMM_UNMAP_VSEG           0
184#define DEBUG_VMM_UPDATE_PTE           0
185
186////////////////////////////////////////////////////////////////////////////////////////////
187//                          HARDWARE CONFIGURATION     
188////////////////////////////////////////////////////////////////////////////////////////////
189
190#define CONFIG_KERNEL_IDENTITY_MAP          true       // True for 32 bits cores             
191#define CONFIG_MAX_CLUSTER                  256        // max number of clusters
192#define CONFIG_MAX_LOCAL_CORES              4          // max number of cores per cluster
193#define CONFIG_MAX_INT_DEV                  4          // max number of internal peripherals
194#define CONFIG_MAX_EXT_DEV                  8          // max number of external peripherals
195#define CONFIG_MAX_INTERNAL_IRQS            32         // max number of HWI per ICU
196#define CONFIG_MAX_EXTERNAL_IRQS            32         // max number of PTI per ICU
197#define CONFIG_IRQS_PER_CORE                4          // number of input IRQs per core
198#define CONFIG_CLUSTER_SPAN                 32         // ln(phys. address space per cluster)
199#define CONFIG_CACHE_LINE_SIZE              64         // number of bytes in cache line
200
201#define CONFIG_CACHE_LINE_ALIGNED           __attribute__((aligned(CONFIG_CACHE_LINE_SIZE)))
202
203#define CONFIG_MAX_IOC_CHANNELS             1          // max number of IOC device channels
204#define CONFIG_MAX_FBF_CHANNELS             1          // max number of FBF device channels
205#define CONFIG_MAX_TXT_CHANNELS             8          // max number of TXT device channels
206#define CONFIG_MAX_DMA_CHANNELS             4          // max number of DMA device channels
207#define CONFIG_MAX_NIC_CHANNELS             4          // max number of NIC device channels
208
209#define CONFIG_MAX_CLUSTERS                 256        // max number of clusters
210
211#define CONFIG_TXT_ECHO_MODE                1          // echo mode for TXT peripheral
212#define CONFIG_TXT_KBUF_SIZE                512        // kernel buffer for TXT write
213
214#define CONFIG_FBF_WIDTH                    128
215#define CONFIG_FBF_HEIGHT                   128
216
217#define CONFIG_CPU_CTX_SIZE                 256        // up to 64 uint32_t registers
218#define CONFIG_FPU_CTX_SIZE                 256        // up to 32 uint64_t registers
219#define CONFIG_NIC_CHBUF_DEPTH              1          // number of containers in NIC chbuf
220
221////////////////////////////////////////////////////////////////////////////////////////////
222//                            PROCESS MANAGEMENT       
223////////////////////////////////////////////////////////////////////////////////////////////
224
225#define CONFIG_MAX_PROCESS_PER_CLUSTER      128        // max number of owned process
226#define CONFIG_PROCESS_FILE_MAX_NR          8          // max number of open files
227#define CONFIG_PROCESS_MAX_CHILDREN         1024       // max number of children process
228#define CONFIG_PROCESS_HEAP_MIN_SIZE        0x00010000 // user heap min size (bytes)
229#define CONFIG_PROCESS_HEAP_MAX_SIZE        0x30000000 // user heap max size (bytes)
230#define CONFIG_PROCESS_INIT_PATH            "/bin/user/init.elf"
231
232////////////////////////////////////////////////////////////////////////////////////////////
233//                            VIRTUAL FILE SYSTEM       
234////////////////////////////////////////////////////////////////////////////////////////////
235
236#define CONFIG_VFS_MAX_INODES               128        // max number of inodes per cluster
237#define CONFIG_VFS_MAX_NAME_LENGTH          32         // dentry name max length (bytes)
238#define CONFIG_VFS_MAX_PATH_LENGTH          256        // pathname max length (bytes)
239
240#define CONFIG_VFS_ROOT_IS_FATFS            1          // root FS is FATFS if non zero
241#define CONFIG_VFS_ROOT_IS_EX2FS            0          // root FS is EX2FS if non zero
242
243////////////////////////////////////////////////////////////////////////////////////////////
244//                                 LOCKS         
245////////////////////////////////////////////////////////////////////////////////////////////
246
247#define CONFIG_RWLOCK_DELAY                 50       // iterations number ( ~ 200 cycles )
248
249////////////////////////////////////////////////////////////////////////////////////////////
250//                                  DQDT       
251////////////////////////////////////////////////////////////////////////////////////////////
252
253#define CONFIG_DQDT_LEVELS_NR               5
254#define CONFIG_DQDT_TICKS_PER_QUANTUM       1        // number of ticks between updates
255
256////////////////////////////////////////////////////////////////////////////////////////////
257//                              RANDOM NUMBERS
258////////////////////////////////////////////////////////////////////////////////////////////
259
260#define CONFIG_RDNG_PARAM_A                 65519
261#define CONFIG_RDNG_PARAM_C                 64037
262
263////////////////////////////////////////////////////////////////////////////////////////////
264//                                SCHEDULING
265////////////////////////////////////////////////////////////////////////////////////////////
266
267#define CONFIG_SCHED_TICK_MS_PERIOD         10000   // number of milliseconds per period
268#define CONFIG_SCHED_TICKS_PER_QUANTUM      1       // number of ticks between scheduling
269#define CONFIG_SCHED_MAX_THREADS_NR         32      // max number of threads per core
270
271////////////////////////////////////////////////////////////////////////////////////////////
272//                                 THREADS
273////////////////////////////////////////////////////////////////////////////////////////////
274
275#define CONFIG_THREAD_MAX_PER_CLUSTER       16      // max threads per cluster & process
276#define CONFIG_THREAD_DESC_SIZE             0x4000  // thread desc size (with kernel stack)
277#define CONFIG_THREAD_DESC_ORDER            2       // ln( number of 4K pages )
278#define CONFIG_THREAD_IDLE_MODE_SLEEP       false   // idle thread enter sleep mode
279
280////////////////////////////////////////////////////////////////////////////////////////////
281//                             REMOTE PROCEDURE CALL
282////////////////////////////////////////////////////////////////////////////////////////////
283
284#define CONFIG_REMOTE_FIFO_SLOTS                    16
285#define CONFIG_REMOTE_FIFO_MAX_ITERATIONS   1024
286#define CONFIG_RPC_THREADS_MAX              4      // max number of RPC threads per core
287
288////////////////////////////////////////////////////////////////////////////////////////////
289//                                  MAPPER
290////////////////////////////////////////////////////////////////////////////////////////////
291
292#define CONFIG_MAPPER_MAX_FRAGMENTS        10      // max number of fragments moved
293#define CONFIG_MAPPER_MIN                  CONFIG_VFS_INODE_MIN
294#define CONFIG_MAPPER_MAX                  CONFIG_VFS_INODE_MAX
295
296////////////////////////////////////////////////////////////////////////////////////////////
297//                USER SPACE SEGMENTATION / all values are number of pages
298////////////////////////////////////////////////////////////////////////////////////////////
299
300#define CONFIG_VMM_VSPACE_SIZE        0x100000     // virtual space          : 4   Gbytes
301
302#define CONFIG_VMM_KENTRY_BASE        0x000004     // UTILS zone base        : 16  Kbytes
303#define CONFIG_VMM_ELF_BASE           0x000400     // ELF zone base          : 4   Mbytes
304#define CONFIG_VMM_HEAP_BASE          0x002000     // HEAP zone base         : 32  Mbytes
305#define CONFIG_VMM_STACK_BASE         0x0F0000     // STACK zone base        : 3.7 Gbytes
306
307#define CONFIG_VMM_KENTRY_SIZE        0x000004     // kentry vseg size       : 16  Kbytes
308#define CONFIG_VMM_ARGS_SIZE          0x000004     // args vseg size         : 16  Kbytes
309#define CONFIG_VMM_ENVS_SIZE          0x000008     // envs vseg size         : 32  Kbytes
310#define CONFIG_VMM_STACK_SIZE         0x000100     // single stack vseg size : 1   Mbytes
311
312#define CONFIG_VMM_GRDXT_W1           7            // number of bits for RADIX_TREE_IX1
313#define CONFIG_VMM_GRDXT_W2           7            // number of bits for RADIX_TREE_IX2
314#define CONFIG_VMM_GRDXT_W3           6            // number of bits for RADIX_TREE_IX3
315
316////////////////////////////////////////////////////////////////////////////////////////////
317//     PHYSICAL MEMORY MANAGEMENT (GENERIC)       
318////////////////////////////////////////////////////////////////////////////////////////////
319
320#define CONFIG_PPM_PAGE_SIZE          4096         // physical page size (bytes)
321#define CONFIG_PPM_PAGE_SHIFT         12           // physical page shift (bits)
322#define CONFIG_PPM_PAGE_MASK          0x00000FFF   // physical page mask     
323#define CONFIG_PPM_MAX_ORDER          16           // ln(total number of pages per cluster)
324#define CONFIG_PPM_HEAP_ORDER         10           // ln(number of heap pages per cluster)
325#define CONFIG_PPM_MAX_RSVD           32           // max reserved zones on the machine
326
327#define CONFIG_KCM_SLOT_SIZE          64           // smallest allocated block (bytes)
328
329#define CONFIG_PPM_PAGE_ALIGNED       __attribute__((aligned(CONFIG_PPM_PAGE_SIZE)))
330
331
332
333////////////////////////////////////////////////////////////////////////////////////////////
334//    deprecated
335////////////////////////////////////////////////////////////////////////////////////////////
336
337#define CONFIG_DMA_RQ_KCM_MIN         2
338#define CONFIG_DMA_RQ_KCM_MAX         4
339#define CONFIG_TASK_KCM_MIN           2
340#define CONFIG_TASK_KCM_MAX           3
341#define CONFIG_FDINFO_KCM_MIN         2
342#define CONFIG_FDINFO_KCM_MAX         2
343#define CONFIG_DEVFS_CTX_MIN          1
344#define CONFIG_DEVFS_CTX_MAX          1
345#define CONFIG_DEVFS_FILE_MIN         2
346#define CONFIG_DEVFS_FILE_MAX         3
347#define CONFIG_DEVFS_NODE_MIN         1
348#define CONFIG_DEVFS_NODE_MAX         2
349#define CONFIG_VFAT_CTX_MIN           1
350#define CONFIG_VFAT_CTX_MAX           1
351
352#define CONFIG_RAMFS_FILE_MIN         3
353#define CONFIG_RAMFS_FILE_MAX         3
354
355#define CONFIG_VFAT_FILE_MIN          3
356#define CONFIG_VFAT_FILE_MAX          3
357#define CONFIG_VFAT_NODE_MIN          2
358#define CONFIG_VFAT_NODE_MAX          2
359
360#define CONFIG_EXT2_CTX_MIN           1
361#define CONFIG_EXT2_CTX_MAX           1
362#define CONFIG_EXT2_FILE_MIN          3
363#define CONFIG_EXT2_FILE_MAX          3
364#define CONFIG_EXT2_NODE_MIN          2
365#define CONFIG_EXT2_NODE_MAX          2
366
367#define CONFIG_VFS_CTX_MIN            1
368#define CONFIG_VFS_CTX_MAX            1
369#define CONFIG_VFS_INODE_MIN          3
370#define CONFIG_VFS_INODE_MAX          6
371#define CONFIG_VFS_FILE_MIN           3
372#define CONFIG_VFS_FILE_MAX           5
373
374#define CONFIG_SEMAPHORE_MIN          2
375#define CONFIG_SEMAPHORE_MAX          2
376#define CONFIG_CONDTION_VAR_MIN       2
377#define CONFIG_CONDTION_VAR_MAX       2
378#define CONFIG_BARRIER_MIN            2
379#define CONFIG_BARRIER_MAX            2
380#define CONFIG_RWLOCK_MIN             2
381#define CONFIG_RWLOCK_MAX             2
382#define CONFIG_WAITQUEUEDB_MAX        2
383#define CONFIG_WAITQUEUEDB_MIN        2
384#define CONFIG_RADIX_NODE_MIN         10         
385#define CONFIG_RADIX_NODE_MAX         30
386#define CONFIG_VM_REGION_MIN          1
387#define CONFIG_VM_REGION_MAX          2
388#define CONFIG_BLKIO_MIN              4
389#define CONFIG_BLKIO_MAX              8
390#define CONFIG_KEYREC_MIN             2
391#define CONFIG_KEYREC_MAX             2
392
393
394
395#endif  /* _KERNEL_CONFIG_H_ */
Note: See TracBrowser for help on using the repository browser.