source: trunk/kernel_config.h @ 408

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

Fix several bugs in the fork() syscall.

File size: 15.4 KB
RevLine 
[1]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)
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 / March 2017"
30
31////////////////////////////////////////////////////////////////////////////////////////////
[406]32//          KERNEL DEBUG
33//
[407]34//  For all these debug variables:
[406]35//  - trace is generated only when cycle > debug_value.
[407]36//  - detailed trace is enabled when (debug_value & Ox1) is non zero.
[12]37////////////////////////////////////////////////////////////////////////////////////////////
38
[407]39#define CONFIG_CHDEV_DEBUG            0
[50]40#define CONFIG_CLUSTER_DEBUG          0
[337]41#define CONFIG_CONTEXT_DEBUG          0
[12]42#define CONFIG_CORE_DEBUG             0
[296]43#define CONFIG_DEVFS_DEBUG            0
[12]44#define CONFIG_DMA_DEBUG              0
45#define CONFIG_DQDT_DEBUG             0
[279]46#define CONFIG_ELF_DEBUG              0
[408]47#define CONFIG_EXEC_DEBUG             1
[406]48#define CONFIG_EXCP_DEBUG             0
49#define CONFIG_FATFS_DEBUG            0
[12]50#define CONFIG_FBF_DEBUG              0
[408]51#define CONFIG_FORK_DEBUG             1
[406]52#define CONFIG_GPT_DEBUG              0
[407]53#define CONFIG_GRPC_DEBUG             0
[204]54#define CONFIG_IDLE_DEBUG             0
[406]55#define CONFIG_IOC_DEBUG              0
[337]56#define CONFIG_IRQ_DEBUG              0
[68]57#define CONFIG_KCM_DEBUG              0
[408]58#define CONFIG_KENTRY_DEBUG           0
[12]59#define CONFIG_KHM_DEBUG              0
[408]60#define CONFIG_KINIT_DEBUG            0
[12]61#define CONFIG_KMEM_DEBUG             0
[407]62#define CONFIG_MMAP_DEBUG             0         
[12]63#define CONFIG_MMC_DEBUG              0
[406]64#define CONFIG_MAPPER_DEBUG           0
[12]65#define CONFIG_NIC_DEBUG              0
66#define CONFIG_PIC_DEBUG              0
67#define CONFIG_PPM_DEBUG              0
[279]68#define CONFIG_PROCESS_DEBUG          0
[407]69#define CONFIG_READ_DEBUG             0
[406]70#define CONFIG_RPC_DEBUG              0
[408]71#define CONFIG_SCHED_DEBUG            5000000
[23]72#define CONFIG_SIGNAL_DEBUG           0
[408]73#define CONFIG_SYSCALL_DEBUG          1
[337]74#define CONFIG_THREAD_DEBUG           0
[12]75#define CONFIG_TXT_DEBUG              0
[406]76#define CONFIG_VFS_DEBUG              0
[279]77#define CONFIG_VMM_DEBUG              0
[407]78#define CONFIG_WRITE_DEBUG            0
[12]79
80////////////////////////////////////////////////////////////////////////////////////////////
[1]81//        HARDWARE CONFIGURATION     
82////////////////////////////////////////////////////////////////////////////////////////////
83
[23]84#define CONFIG_KERNEL_IDENTITY_MAP          true       // True for 32 bits cores             
[1]85#define CONFIG_MAX_CLUSTER                  256        // max number of clusters
[12]86#define CONFIG_MAX_LOCAL_CORES              4          // max number of cores per cluster
87#define CONFIG_MAX_INT_DEV                  4          // max number of internal peripherals
88#define CONFIG_MAX_EXT_DEV                  8          // max number of external peripherals
[188]89#define CONFIG_MAX_INTERNAL_IRQS            32         // max number of HWI per ICU
90#define CONFIG_MAX_EXTERNAL_IRQS            32         // max number of PTI per ICU
[1]91#define CONFIG_IRQS_PER_CORE                4          // number of input IRQs per core
92#define CONFIG_CLUSTER_SPAN                 32         // ln(phys. address space per cluster)
93#define CONFIG_CACHE_LINE_SIZE              64         // number of bytes in cache line
94
[16]95#define CONFIG_CACHE_LINE_ALIGNED           __attribute__((aligned(CONFIG_CACHE_LINE_SIZE)))
96
[12]97#define CONFIG_MAX_IOC_CHANNELS             1          // max number of IOC device channels
98#define CONFIG_MAX_FBF_CHANNELS             1          // max number of FBF device channels
[407]99#define CONFIG_MAX_TXT_CHANNELS             8          // max number of TXT device channels
100#define CONFIG_MAX_DMA_CHANNELS             4          // max number of DMA device channels
101#define CONFIG_MAX_NIC_CHANNELS             4          // max number of NIC device channels
[12]102
[1]103#define CONFIG_MAX_CLUSTERS                 256        // max number of clusters
104
105#define CONFIG_TXT_ECHO_MODE                1          // echo mode for TXT peripheral
[407]106#define CONFIG_TXT_KBUF_SIZE                256        // kernel buffer for TXT write
[1]107
[188]108#define CONFIG_FBF_WIDTH                    128
109#define CONFIG_FBF_HEIGHT                   128
110
[296]111#define CONFIG_CPU_CTX_SIZE                 256        // up to 64 uint32_t registers
[188]112#define CONFIG_FPU_CTX_SIZE                 256        // up to 32 uint64_t registers
[1]113#define CONFIG_NIC_CHBUF_DEPTH              1          // number of containers in NIC chbuf
114
115////////////////////////////////////////////////////////////////////////////////////////////
116//      PROCESS MANAGEMENT       
117////////////////////////////////////////////////////////////////////////////////////////////
118
119#define CONFIG_MAX_PROCESS_PER_CLUSTER      128        // max number of owned process
120#define CONFIG_PROCESS_FILE_MAX_NR          8          // max number of open files
[23]121#define CONFIG_PROCESS_MAX_CHILDREN         1024       // max number of children process
[1]122#define CONFIG_PROCESS_HEAP_MIN_SIZE        0x00010000 // user heap min size (bytes)
123#define CONFIG_PROCESS_HEAP_MAX_SIZE        0x30000000 // user heap max size (bytes)
[407]124#define CONFIG_PROCESS_INIT_PATH            "/bin/user/ksh.elf"
[1]125
126////////////////////////////////////////////////////////////////////////////////////////////
127//          VIRTUAL FILE SYSTEM       
128////////////////////////////////////////////////////////////////////////////////////////////
129
130#define CONFIG_VFS_MAX_INODES               128        // max number of inodes per cluster
[23]131#define CONFIG_VFS_MAX_NAME_LENGTH          32         // dentry name max length (bytes)
132#define CONFIG_VFS_MAX_PATH_LENGTH          256        // pathname max length (bytes)
[1]133
[23]134#define CONFIG_VFS_ROOT_IS_FATFS            1          // root FS is FATFS if non zero
135#define CONFIG_VFS_ROOT_IS_EX2FS            0          // root FS is EX2FS if non zero
[1]136
137////////////////////////////////////////////////////////////////////////////////////////////
[367]138//          MISCELLANEOUS       
[1]139////////////////////////////////////////////////////////////////////////////////////////////
140
141#define CONFIG_CORE_CHECK_EVERY                 2000
142#define CONFIG_DEV_VERSION                  yes
143#define CONFIG_USE_COA                      yes
144#define CONFIG_EXEC_LOCAL                   no
145#define CONFIG_USE_KEYSDB                   yes
146#define CONFIG_SHOW_BOOT_BANNER             yes
147#define CONFIG_MAX_CLUSTER_ROOT             16
148#define CONFIG_GLOBAL_CLUSTERS_ORDER        0
149#define CONFIG_GLOBAL_CORES_ORDER           0
150#define CONFIG_MAX_DQDT_DEPTH               4
151#define CONFIG_USE_DQDT                     no
152#define CONFIG_CORE_BALANCING_PERIOD        4
153#define CONFIG_CORE_LOAD_PERIOD             4
154#define CONFIG_CLUSTER_KEYS_NR              8
155#define CONFIG_REL_KFIFO_SIZE               32
156
157////////////////////////////////////////////////////////////////////////////////////////////
158//          LOCKS         
159////////////////////////////////////////////////////////////////////////////////////////////
160
[16]161#define CONFIG_RWLOCK_DELAY                 50       // iterations number ( ~ 200 cycles )
[1]162
163////////////////////////////////////////////////////////////////////////////////////////////
164//          DQDT           
165////////////////////////////////////////////////////////////////////////////////////////////
166
167#define CONFIG_DQDT_LEVELS_NR               5
[367]168#define CONFIG_DQDT_TICKS_PER_QUANTUM       1        // number of ticks between updates
[1]169
170////////////////////////////////////////////////////////////////////////////////////////////
171//          RANDOM NUMBERS
172////////////////////////////////////////////////////////////////////////////////////////////
173
174#define CONFIG_RDNG_PARAM_A                 65519
175#define CONFIG_RDNG_PARAM_C                 64037
176
177////////////////////////////////////////////////////////////////////////////////////////////
178//          SCHEDULING
179////////////////////////////////////////////////////////////////////////////////////////////
180
[408]181#define CONFIG_SCHED_TICK_MS_PERIOD         3000    // number of milliseconds
[407]182#define CONFIG_SCHED_TICKS_PER_QUANTUM      1       // number of ticks between scheduling
[16]183#define CONFIG_SCHED_MAX_THREADS_NR         32      // max number of threads per core
[1]184
185////////////////////////////////////////////////////////////////////////////////////////////
186//          THREADS
187////////////////////////////////////////////////////////////////////////////////////////////
188
[408]189#define CONFIG_THREAD_MAX_PER_CLUSTER       16      // max threads per cluster & process
[407]190#define CONFIG_THREAD_DESC_SIZE             0x4000  // thread desc size (with kernel stack)
[401]191#define CONFIG_THREAD_DESC_ORDER            2       // ln( number of 4K pages )
[407]192#define CONFIG_THREAD_IDLE_MODE_SLEEP       0       // idle thread enter sleep mode
[1]193
194////////////////////////////////////////////////////////////////////////////////////////////
[407]195//          REMOTE PROCEDURE CALL
[1]196////////////////////////////////////////////////////////////////////////////////////////////
197
[68]198#define CONFIG_REMOTE_FIFO_SLOTS                    16
[1]199#define CONFIG_REMOTE_FIFO_MAX_ITERATIONS   1024
200
[12]201#define CONFIG_RPC_PENDING_MAX              8      // max requests handled by one server
202#define CONFIG_RPC_THREADS_MAX              8      // max number of RPC threads per core
[1]203
204////////////////////////////////////////////////////////////////////////////////////////////
[407]205//         PROCESS INIT & PROCESS USER TERMINALS
[1]206////////////////////////////////////////////////////////////////////////////////////////////
207
[407]208#define CONFIG_INIT_STDIN                    "/dev/external/txt1_rx"
209#define CONFIG_INIT_STDOUT                   "/dev/external/txt1_tx"
210#define CONFIG_INIT_STDERR                   "/dev/external/txt1_tx"
[1]211
[407]212#define CONFIG_USER_STDIN                    "/dev/external/txt2_rx"
213#define CONFIG_USER_STDOUT                   "/dev/external/txt2_tx"
214#define CONFIG_USER_STDERR                   "/dev/external/txt2_tx"
215
[1]216////////////////////////////////////////////////////////////////////////////////////////////
217//          MAPPER
218////////////////////////////////////////////////////////////////////////////////////////////
219
[12]220#define CONFIG_MAPPER_MAX_FRAGMENTS        10      // max number of fragments moved
221#define CONFIG_MAPPER_MIN                  CONFIG_VFS_INODE_MIN
222#define CONFIG_MAPPER_MAX                  CONFIG_VFS_INODE_MAX
[1]223
224////////////////////////////////////////////////////////////////////////////////////////////
[406]225//          USER SPACE SEGMENTATION / all values are number of pages
[1]226////////////////////////////////////////////////////////////////////////////////////////////
227
[408]228#define CONFIG_VMM_VSPACE_SIZE        0x100000     // virtual space          : 4   Gbytes
[1]229
[408]230#define CONFIG_VMM_KENTRY_BASE        0x000004     // UTILS zone base        : 16  Kbytes
231#define CONFIG_VMM_ELF_BASE           0x000400     // ELF zone base          : 4   Mbytes
232#define CONFIG_VMM_HEAP_BASE          0x002000     // HEAP zone base         : 32  Mbytes
233#define CONFIG_VMM_STACK_BASE         0x0F0000     // STACK zone base        : 3.7 Gbytes
[1]234
[408]235#define CONFIG_VMM_KENTRY_SIZE        0x000004     // kentry vseg size       : 16  Kbytes
236#define CONFIG_VMM_ARGS_SIZE          0x000004     // args vseg size         : 16  Kbytes
237#define CONFIG_VMM_ENVS_SIZE          0x000008     // envs vseg size         : 32  Kbytes
238#define CONFIG_VMM_STACK_SIZE         0x000100     // single stack vseg size : 1   Mbytes
[1]239
240#define CONFIG_VMM_GRDXT_W1           7            // number of bits for RADIX_TREE_IX1
241#define CONFIG_VMM_GRDXT_W2           7            // number of bits for RADIX_TREE_IX2
242#define CONFIG_VMM_GRDXT_W3           6            // number of bits for RADIX_TREE_IX3
243
244////////////////////////////////////////////////////////////////////////////////////////////
[296]245//     PHYSICAL MEMORY MANAGEMENT (GENERIC)       
[1]246////////////////////////////////////////////////////////////////////////////////////////////
247
248#define CONFIG_PPM_PAGE_SIZE          4096         // physical page size (bytes)
249#define CONFIG_PPM_PAGE_SHIFT         12           // physical page shift (bits)
250#define CONFIG_PPM_PAGE_MASK          0x00000FFF   // physical page mask     
251#define CONFIG_PPM_MAX_ORDER          16           // ln(total number of pages per cluster)
252#define CONFIG_PPM_HEAP_ORDER         10           // ln(number of heap pages per cluster)
[287]253#define CONFIG_PPM_MAX_RSVD           32           // max reserved zones on the machine
[1]254
[50]255#define CONFIG_KCM_SLOT_SIZE          64           // smallest allocated block (bytes)
[12]256
[16]257#define CONFIG_PPM_PAGE_ALIGNED       __attribute__((aligned(CONFIG_PPM_PAGE_SIZE)))
258
[296]259
260
[1]261////////////////////////////////////////////////////////////////////////////////////////////
[50]262//    deprecated
[1]263////////////////////////////////////////////////////////////////////////////////////////////
264
265#define CONFIG_DMA_RQ_KCM_MIN         2
266#define CONFIG_DMA_RQ_KCM_MAX         4
267#define CONFIG_TASK_KCM_MIN           2
268#define CONFIG_TASK_KCM_MAX           3
269#define CONFIG_FDINFO_KCM_MIN         2
270#define CONFIG_FDINFO_KCM_MAX         2
271#define CONFIG_DEVFS_CTX_MIN          1
272#define CONFIG_DEVFS_CTX_MAX          1
273#define CONFIG_DEVFS_FILE_MIN         2
274#define CONFIG_DEVFS_FILE_MAX         3
275#define CONFIG_DEVFS_NODE_MIN         1
276#define CONFIG_DEVFS_NODE_MAX         2
277#define CONFIG_VFAT_CTX_MIN           1
278#define CONFIG_VFAT_CTX_MAX           1
279
280#define CONFIG_RAMFS_FILE_MIN         3
281#define CONFIG_RAMFS_FILE_MAX         3
282
283#define CONFIG_VFAT_FILE_MIN          3
284#define CONFIG_VFAT_FILE_MAX          3
285#define CONFIG_VFAT_NODE_MIN          2
286#define CONFIG_VFAT_NODE_MAX          2
287
288#define CONFIG_EXT2_CTX_MIN           1
289#define CONFIG_EXT2_CTX_MAX           1
290#define CONFIG_EXT2_FILE_MIN          3
291#define CONFIG_EXT2_FILE_MAX          3
292#define CONFIG_EXT2_NODE_MIN          2
293#define CONFIG_EXT2_NODE_MAX          2
294
295#define CONFIG_VFS_CTX_MIN            1
296#define CONFIG_VFS_CTX_MAX            1
297#define CONFIG_VFS_INODE_MIN          3
298#define CONFIG_VFS_INODE_MAX          6
299#define CONFIG_VFS_FILE_MIN           3
300#define CONFIG_VFS_FILE_MAX           5
301
302#define CONFIG_SEMAPHORE_MIN          2
303#define CONFIG_SEMAPHORE_MAX          2
304#define CONFIG_CONDTION_VAR_MIN       2
305#define CONFIG_CONDTION_VAR_MAX       2
306#define CONFIG_BARRIER_MIN            2
307#define CONFIG_BARRIER_MAX            2
308#define CONFIG_RWLOCK_MIN             2
309#define CONFIG_RWLOCK_MAX             2
310#define CONFIG_WAITQUEUEDB_MAX        2
311#define CONFIG_WAITQUEUEDB_MIN        2
312#define CONFIG_RADIX_NODE_MIN         10         
313#define CONFIG_RADIX_NODE_MAX         30
314#define CONFIG_VM_REGION_MIN          1
315#define CONFIG_VM_REGION_MAX          2
316#define CONFIG_BLKIO_MIN              4
317#define CONFIG_BLKIO_MAX              8
318#define CONFIG_KEYREC_MIN             2
319#define CONFIG_KEYREC_MAX             2
320
321
322
323#endif  /* _KERNEL_CONFIG_H_ */
Note: See TracBrowser for help on using the repository browser.