source: trunk/kernel/kernel_config.h @ 629

Last change on this file since 629 was 629, checked in by alain, 5 years ago

Remove the "giant" rwlock protecting the GPT, and
use the GPT_LOCKED attribute in each PTE to prevent
concurrent modifications of one GPT entry.
The version number has been incremented to 2.1.

File size: 22.3 KB
Line 
1/*
2 * kernel_config.h - global kernel configuration arguments
3 *
4 * Authors  Mohamed Lamine Karaoui (2015)
5 *          Alain Greiner (2016,2017,2018,2019)
6 *
7 * Copyright (c)  UPMC Sorbonne Universites
8 *
9 * This file is part of ALMOS-MKH.
10 *
11 * ALMOS-MKH is free software; you can redistribute it and/or modify it
12 * under the terms of the GNU General Public License as published by
13 * the Free Software Foundation; version 2.0 of the License.
14 *
15 * ALMOS-MKH is distributed in the hope that it will be useful, but
16 * WITHOUT ANY WARRANTY; without even the implied warranty of
17 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
18 * General Public License for more details.
19 *
20 * You should have received a copy of the GNU General Public License
21 * along with ALMOS-MKH; if not, write to the Free Software Foundation,
22 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
23 */
24
25#ifndef _KERNEL_CONFIG_H_
26#define _KERNEL_CONFIG_H_
27
28#define CONFIG_ALMOS_VERSION           "Version 2.1 / May 2019"
29
30////////////////////////////////////////////////////////////////////////////////////////////
31//                              KERNEL DEBUG
32//  Each debug variable control one kernel function, or one small group of functions.
33//  - trace is generated only when cycle > debug_value.
34//  - detailed trace is enabled when (debug_value & Ox1) is non zero.
35////////////////////////////////////////////////////////////////////////////////////////////
36
37#define DEBUG_BARRIER_CREATE              0
38#define DEBUG_BARRIER_DESTROY             0
39#define DEBUG_BARRIER_WAIT                0
40
41#define DEBUG_BUSYLOCK                    0
42#define DEBUG_BUSYLOCK_PID                0          // for busylock detailed debug
43#define DEBUG_BUSYLOCK_TRDID              0          // for busylock detailed debug
44                 
45#define DEBUG_CHDEV_CMD_RX                0
46#define DEBUG_CHDEV_CMD_TX                0
47#define DEBUG_CHDEV_SERVER_RX             0
48#define DEBUG_CHDEV_SERVER_TX             0
49
50#define DEBUG_CLUSTER_INIT                0
51#define DEBUG_CLUSTER_PID_ALLOC           0
52#define DEBUG_CLUSTER_PID_RELEASE         0
53#define DEBUG_CLUSTER_PROCESS_COPIES      0
54
55#define DEBUG_DEV_TXT_RX                  0
56#define DEBUG_DEV_TXT_TX                  0
57#define DEBUG_DEV_IOC_RX                  0
58#define DEBUG_DEV_IOC_TX                  0
59#define DEBUG_DEV_NIC_RX                  0
60#define DEBUG_DEV_NIC_RX                  0
61#define DEBUG_DEV_FBF_RX                  0
62#define DEBUG_DEV_FBF_TX                  0
63#define DEBUG_DEV_DMA                     0
64#define DEBUG_DEV_MMC                     0
65#define DEBUG_DEV_PIC                     0
66
67#define DEBUG_DEVFS_GLOBAL_INIT           0
68#define DEBUG_DEVFS_LOCAL_INIT            0
69#define DEBUG_DEVFS_MOVE                  0
70
71#define DEBUG_ELF_LOAD                    0
72
73#define DEBUG_DQDT_INIT                   0
74#define DEBUG_DQDT_UPDATE_THREADS         0
75#define DEBUG_DQDT_SELECT_FOR_PROCESS     0
76#define DEBUG_DQDT_UPDATE_PAGES           0
77#define DEBUG_DQDT_SELECT_FOR_MEMORY      0
78
79#define DEBUG_FATFS_ADD_DENTRY            0
80#define DEBUG_FATFS_CLUSTER_ALLOC         0
81#define DEBUG_FATFS_CTX_INIT              0
82#define DEBUG_FATFS_FREE_CLUSTERS         0
83#define DEBUG_FATFS_GET_CLUSTER           0
84#define DEBUG_FATFS_GET_USER_DIR          0
85#define DEBUG_FATFS_MOVE_PAGE             0
86#define DEBUG_FATFS_NEW_DENTRY            0
87#define DEBUG_FATFS_RELEASE_INODE         0
88#define DEBUG_FATFS_REMOVE_DENTRY         0
89#define DEBUG_FATFS_SYNC_FAT              0
90#define DEBUG_FATFS_SYNC_FSINFO           0
91#define DEBUG_FATFS_SYNC_INODE            0
92#define DEBUG_FATFS_UPDATE_DENTRY         0
93#define DEBUG_FATFS_UPDATE_IOC            0
94
95#define DEBUG_HAL_CONTEXT                 0
96#define DEBUG_HAL_EXCEPTIONS              0
97#define DEBUG_HAL_GPT_SET_PTE             0
98#define DEBUG_HAL_GPT_COPY                0
99#define DEBUG_HAL_GPT_CREATE              0
100#define DEBUG_HAL_GPT_DESTROY             0
101#define DEBUG_HAL_IOC_RX                  0
102#define DEBUG_HAL_IOC_TX                  0
103#define DEBUG_HAL_IRQS                    0
104#define DEBUG_HAL_KENTRY                  0
105#define DEBUG_HAL_TXT_RX                  0
106#define DEBUG_HAL_TXT_TX                  0
107#define DEBUG_HAL_USPACE                  0
108#define DEBUG_HAL_VMM                     0
109
110#define DEBUG_KCM                         0
111#define DEBUG_KMEM                        0
112
113#define DEBUG_KERNEL_INIT                 0
114
115#define DEBUG_MAPPER_GET_PAGE             0
116#define DEBUG_MAPPER_HANDLE_MISS          0
117#define DEBUG_MAPPER_MOVE_USER            0
118#define DEBUG_MAPPER_MOVE_KERNEL          0
119#define DEBUG_MAPPER_SYNC                 0
120
121#define DEBUG_MUTEX                       0
122
123#define DEBUG_PPM_ALLOC_PAGES             0
124#define DEBUG_PPM_FREE_PAGES              0
125   
126#define DEBUG_PROCESS_COPY_INIT           0
127#define DEBUG_PROCESS_DESTROY             0
128#define DEBUG_PROCESS_FD_REGISTER         0
129#define DEBUG_PROCESS_GET_LOCAL_COPY      0
130#define DEBUG_PROCESS_INIT_CREATE         0
131#define DEBUG_PROCESS_MAKE_EXEC           0
132#define DEBUG_PROCESS_MAKE_FORK           0
133#define DEBUG_PROCESS_REFERENCE_INIT      0
134#define DEBUG_PROCESS_SIGACTION           0
135#define DEBUG_PROCESS_TXT                 0
136#define DEBUG_PROCESS_ZERO_CREATE         0
137
138#define DEBUG_QUEUELOCK_TYPE              0       // lock type 0 is undefined => no debug
139#define DEBUG_QUEUELOCK_PTR               0
140#define DEBUG_QUEUELOCK_CXY               0
141
142#define DEBUG_RPC_CLIENT_GENERIC          0
143#define DEBUG_RPC_SERVER_GENERIC          0
144
145#define DEBUG_RPC_KCM_ALLOC               0
146#define DEBUG_RPC_KCM_FREE                0
147#define DEBUG_RPC_MAPPER_HANDLE_MISS      0
148#define DEBUG_RPC_MAPPER_MOVE_USER        0
149#define DEBUG_RPC_PMEM_GET_PAGES          0
150#define DEBUG_RPC_PMEM_RELEASE_PAGES      0
151#define DEBUG_RPC_PROCESS_MAKE_FORK       0
152#define DEBUG_RPC_PROCESS_SIGACTION       0
153#define DEBUG_RPC_THREAD_USER_CREATE      0
154#define DEBUG_RPC_THREAD_KERNEL_CREATE    0
155#define DEBUG_RPC_VFS_DENTRY_CREATE       0
156#define DEBUG_RPC_VFS_DENTRY_DESTROY      0
157#define DEBUG_RPC_VFS_DEVICE_GET_DENTRY   0
158#define DEBUG_RPC_VFS_FILE_CREATE         0
159#define DEBUG_RPC_VFS_FILE_DESTROY        0
160#define DEBUG_RPC_VFS_FS_NEW_DENTRY       0
161#define DEBUG_RPC_VFS_FS_ADD_DENTRY       0
162#define DEBUG_RPC_VFS_INODE_CREATE        0
163#define DEBUG_RPC_VFS_INODE_DESTROY       0
164#define DEBUG_RPC_VMM_CREATE_VSEG         0
165#define DEBUG_RPC_VMM_GET_PTE             0
166#define DEBUG_RPC_VMM_GET_VSEG            0
167#define DEBUG_RPC_VMM_DELETE_VSEG         0
168
169#define DEBUG_RWLOCK_TYPE                 35       // lock type 0 is undefined => no debug
170#define DEBUG_RWLOCK_PTR                  0xb1650
171#define DEBUG_RWLOCK_CXY                  0x11
172
173#define DEBUG_SCHED_HANDLE_SIGNALS        2
174#define DEBUG_SCHED_YIELD                 0
175#define DEBUG_SCHED_RPC_ACTIVATE          0
176
177#define DEBUG_SEM                         0
178
179#define DEBUG_SYSCALLS_ERROR              2
180
181#define DEBUG_SYS_BARRIER                 0
182#define DEBUG_SYS_CLOSE                   0
183#define DEBUG_SYS_CLOSEDIR                0
184#define DEBUG_SYS_CONDVAR                 0
185#define DEBUG_SYS_DISPLAY                 0
186#define DEBUG_SYS_EXEC                    0
187#define DEBUG_SYS_EXIT                    0
188#define DEBUG_SYS_FG                      0
189#define DEBUG_SYS_FORK                    0
190#define DEBUG_SYS_GET_CONFIG              0
191#define DEBUG_SYS_GETCWD                  0
192#define DEBUG_SYS_GETPID                  0
193#define DEBUG_SYS_ISATTY                  0
194#define DEBUG_SYS_IS_FG                   0
195#define DEBUG_SYS_KILL                    0
196#define DEBUG_SYS_MKDIR                   0
197#define DEBUG_SYS_MMAP                    0
198#define DEBUG_SYS_MUNMAP                  0
199#define DEBUG_SYS_MUTEX                   0
200#define DEBUG_SYS_OPEN                    0
201#define DEBUG_SYS_OPENDIR                 0
202#define DEBUG_SYS_READ                    0
203#define DEBUG_SYS_READDIR                 0
204#define DEBUG_SYS_SEM                     0
205#define DEBUG_SYS_STAT                    0
206#define DEBUG_SYS_THREAD_CANCEL           0
207#define DEBUG_SYS_THREAD_CREATE           0
208#define DEBUG_SYS_THREAD_EXIT             0
209#define DEBUG_SYS_THREAD_JOIN             0
210#define DEBUG_SYS_THREAD_SLEEP            0
211#define DEBUG_SYS_THREAD_WAKEUP           0
212#define DEBUG_SYS_THREAD_YIELD            0
213#define DEBUG_SYS_TRACE                   0
214#define DEBUG_SYS_UNLINK                  0
215#define DEBUG_SYS_WAIT                    0
216#define DEBUG_SYS_WRITE                   0
217
218#define DEBUG_THREAD_BLOCK                0
219#define DEBUG_THREAD_DELETE               0
220#define DEBUG_THREAD_DESTROY              0
221#define DEBUG_THREAD_GET_XPTR             0
222#define DEBUG_THREAD_IDLE                 0
223#define DEBUG_THREAD_INIT                 0
224#define DEBUG_THREAD_KERNEL_CREATE        0
225#define DEBUG_THREAD_USER_CREATE          0
226#define DEBUG_THREAD_USER_FORK            0
227#define DEBUG_THREAD_USER_EXEC            0
228
229#define DEBUG_USER_DIR                    0
230
231#define DEBUG_VFS_ADD_CHILD               0
232#define DEBUG_VFS_ADD_SPECIAL             0
233#define DEBUG_VFS_CHDIR                   0
234#define DEBUG_VFS_CLOSE                   0
235#define DEBUG_VFS_DENTRY_CREATE           0
236#define DEBUG_VFS_FILE_CREATE             0
237#define DEBUG_VFS_GET_PATH                0
238#define DEBUG_VFS_INODE_CREATE            0
239#define DEBUG_VFS_INODE_LOAD_ALL          0
240#define DEBUG_VFS_KERNEL_MOVE             0
241#define DEBUG_VFS_LINK                    0
242#define DEBUG_VFS_LOOKUP                  0
243#define DEBUG_VFS_LSEEK                   0
244#define DEBUG_VFS_MKDIR                   0
245#define DEBUG_VFS_NEW_DENTRY_INIT         0
246#define DEBUG_VFS_OPEN                    0
247#define DEBUG_VFS_OPENDIR                 0
248#define DEBUG_VFS_STAT                    0
249#define DEBUG_VFS_USER_MOVE               0
250#define DEBUG_VFS_UNLINK                  0
251
252#define DEBUG_VMM_CREATE_VSEG             0
253#define DEBUG_VMM_DELETE_VSEG             0
254#define DEBUG_VMM_DESTROY                 0
255#define DEBUG_VMM_FORK_COPY               0
256#define DEBUG_VMM_GET_ONE_PPN             0
257#define DEBUG_VMM_GET_PTE                 0
258#define DEBUG_VMM_HANDLE_PAGE_FAULT       0
259#define DEBUG_VMM_HANDLE_COW              0
260#define DEBUG_VMM_MMAP_ALLOC              0
261#define DEBUG_VMM_PAGE_ALLOCATE           0
262#define DEBUG_VMM_REMOVE_VSEG             0
263#define DEBUG_VMM_RESIZE_VSEG             0
264#define DEBUG_VMM_SET_COW                 0
265#define DEBUG_VMM_UPDATE_PTE              0
266#define DEBUG_VMM_USER_INIT               0
267#define DEBUG_VMM_USER_RESET              0
268
269#define DEBUG_XHTAB                       0
270
271
272////////////////////////////////////////////////////////////////////////////////////////////
273//                KERNEL LOCKS TYPES MNEMONICS (for debug)
274// It must be kept consistent with the lock_name[] array defined in kernel_init.c file.
275////////////////////////////////////////////////////////////////////////////////////////////
276
277#define LOCK_CLUSTER_KCM       1   // local  (B)  protect dynamic KCM creation in cluster
278#define LOCK_PPM_FREE          2   // local  (B)  protect PPM allocator free_pages lists
279#define LOCK_SCHED_STATE       3   // local  (B)  protect scheduler state for given core
280#define LOCK_VMM_STACK         4   // local  (B)  protect VMM stack vseg allocator   
281#define LOCK_VMM_MMAP          5   // local  (B)  protect VMM mmap vseg allocator
282#define LOCK_VFS_CTX           6   // local  (B)  protect vfs context state
283#define LOCK_KCM_STATE         7   // local  (B)  protect KCM allocator state
284#define LOCK_KHM_STATE         8   // local  (B)  protect KHM allocator state
285#define LOCK_HTAB_STATE        9   // local  (B)  protect a local htab state
286
287#define LOCK_THREAD_JOIN      10   // remote (B)  protect join/exit between two threads
288#define LOCK_XHTAB_STATE      11   // remote (B)  protect  a distributed xhtab state
289#define LOCK_CHDEV_QUEUE      12   // remote (B)  protect chdev threads waiting queue
290#define LOCK_CHDEV_TXT0       13   // remote (B)  protect access to kernel terminal TXT0
291#define LOCK_CHDEV_TXTLIST    14   // remote (B)  protect xlist of processes using same TXT
292#define LOCK_PAGE_STATE       15   // remote (B)  protect physical page descriptor state
293#define LOCK_MUTEX_STATE      16   // remote (B)  protect user mutex state
294#define LOCK_CONDVAR_STATE    17   // remote (B)  protect user condvar state
295#define LOCK_SEM_STATE        18   // remote (B)  protect user semaphore state
296#define LOCK_PROCESS_CWD      19   // remote (B)  protect current working directory in process
297#define LOCK_BARRIER_STATE    20   // remote (B)  protect user barrier state
298
299#define LOCK_CLUSTER_PREFTBL  21   // local  (Q)  protect array of ref. processes in cluster
300
301#define LOCK_PPM_DIRTY        22   // remote (Q)  protect PPM dirty_pages list
302#define LOCK_CLUSTER_LOCALS   23   // remote (Q)  protect xlist of local processes in cluster
303#define LOCK_CLUSTER_COPIES   24   // remote (Q)  protect xlist of process copies in cluster
304#define LOCK_PROCESS_CHILDREN 25   // remote (Q)  protect xlist of chidren process in process
305#define LOCK_PROCESS_USERSYNC 26   // remote (Q)  protect lists of user synchros in process
306#define LOCK_PROCESS_FDARRAY  27   // remote (Q)  protect array of open files in owner process
307#define LOCK_PROCESS_DIR      28   // remote (Q)  protect xlist of open directories in process
308
309#define LOCK_PROCESS_THTBL    30   // local  (RW) protect local array of threads in a process
310
311#define LOCK_MAPPER_STATE     31   // remote (RW) protect mapper state
312#define LOCK_VFS_SIZE         32   // remote (RW) protect inode state and associated mapper
313#define LOCK_VFS_FILE         33   // remote (RW) protect file descriptor state
314#define LOCK_VMM_VSL          34   // remote (RW) protect VSL (local list of vsegs)
315#define LOCK_VFS_MAIN         35   // remote (RW) protect vfs traversal (in root inode)
316#define LOCK_FATFS_FAT        36   // remote (RW) protect exclusive access to the FATFS FAT
317
318
319////////////////////////////////////////////////////////////////////////////////////////////
320//                          HARDWARE CONFIGURATION     
321////////////////////////////////////////////////////////////////////////////////////////////
322
323#define CONFIG_KERNEL_IDENTITY_MAP          true       // True for 32 bits cores             
324#define CONFIG_MAX_CLUSTERS_X               16         // max number of clusters in row
325#define CONFIG_MAX_CLUSTERS_Y               16         // max number of clusters in column
326#define CONFIG_MAX_CLUSTERS                 (CONFIG_MAX_CLUSTERS_X * CONFIG_MAX_CLUSTERS_Y)
327#define CONFIG_MAX_LOCAL_CORES              4          // max number of cores per cluster
328#define CONFIG_MAX_INT_DEV                  4          // max number of internal peripherals
329#define CONFIG_MAX_EXT_DEV                  8          // max number of external peripherals
330#define CONFIG_MAX_INTERNAL_IRQS            32         // max number of internal IRQs
331#define CONFIG_MAX_EXTERNAL_IRQS            32         // max number of external IRQs
332#define CONFIG_IRQS_PER_CORE                4          // number of input IRQs per core
333#define CONFIG_CLUSTER_SPAN                 32         // ln(phys. address space per cluster)
334#define CONFIG_CACHE_LINE_SIZE              64         // number of bytes in cache line
335
336#define CONFIG_CACHE_LINE_ALIGNED           __attribute__((aligned(CONFIG_CACHE_LINE_SIZE)))
337
338#define CONFIG_MAX_IOC_CHANNELS             1          // max number of IOC device channels
339#define CONFIG_MAX_FBF_CHANNELS             1          // max number of FBF device channels
340#define CONFIG_MAX_TXT_CHANNELS             8          // max number of TXT device channels
341#define CONFIG_MAX_DMA_CHANNELS             4          // max number of DMA device channels
342#define CONFIG_MAX_NIC_CHANNELS             4          // max number of NIC device channels
343
344#define CONFIG_TXT_ECHO_MODE                1          // echo mode for TXT peripheral
345#define CONFIG_TXT_KBUF_SIZE                512        // kernel buffer for TXT write
346
347#define CONFIG_FBF_WIDTH                    128
348#define CONFIG_FBF_HEIGHT                   128
349
350#define CONFIG_CPU_CTX_SIZE                 256        // up to 64 uint32_t registers
351#define CONFIG_FPU_CTX_SIZE                 256        // up to 32 uint64_t registers
352#define CONFIG_NIC_CHBUF_DEPTH              1          // number of containers in NIC chbuf
353
354////////////////////////////////////////////////////////////////////////////////////////////
355//                            PROCESS MANAGEMENT       
356////////////////////////////////////////////////////////////////////////////////////////////
357
358#define CONFIG_MAX_PROCESS_PER_CLUSTER      16         // max number of owned process
359#define CONFIG_PROCESS_FILE_MAX_NR          16         // max number of open files
360#define CONFIG_PROCESS_MAX_CHILDREN         1024       // max number of children process
361#define CONFIG_PROCESS_HEAP_MIN_SIZE        0x00010000 // user heap min size (bytes)
362#define CONFIG_PROCESS_HEAP_MAX_SIZE        0x30000000 // user heap max size (bytes)
363#define CONFIG_PROCESS_INIT_PATH            "/bin/user/init.elf"
364
365////////////////////////////////////////////////////////////////////////////////////////////
366//                            VIRTUAL FILE SYSTEM       
367////////////////////////////////////////////////////////////////////////////////////////////
368
369#define CONFIG_VFS_MAX_INODES               128        // max number of inodes per cluster
370#define CONFIG_VFS_MAX_NAME_LENGTH          56         // dentry name max length (bytes)
371#define CONFIG_VFS_MAX_PATH_LENGTH          256        // pathname max length (bytes)
372#define CONFIG_VFS_FREE_CLUSTERS_MIN        32         // min number of free clusters
373#define CONFIG_VFS_MAX_DENTRIES             63         // max number of dentries in one dir
374
375#define CONFIG_VFS_ROOT_IS_FATFS            1          // root FS is FATFS if non zero
376#define CONFIG_VFS_ROOT_IS_EX2FS            0          // root FS is EX2FS if non zero
377
378#define CONFIG_MAPPER_GRDXT_W1              7      // number of bits for RADIX_TREE_IX1
379#define CONFIG_MAPPER_GRDXT_W2              7      // number of bits for RADIX_TREE_IX2
380#define CONFIG_MAPPER_GRDXT_W3              6      // number of bits for RADIX_TREE_IX3
381
382////////////////////////////////////////////////////////////////////////////////////////////
383//                                  DQDT       
384////////////////////////////////////////////////////////////////////////////////////////////
385
386#define CONFIG_DQDT_LEVELS_NR               5
387#define CONFIG_DQDT_TICKS_PER_QUANTUM       1        // number of ticks between updates
388
389////////////////////////////////////////////////////////////////////////////////////////////
390//                              RANDOM NUMBERS
391////////////////////////////////////////////////////////////////////////////////////////////
392
393#define CONFIG_RDNG_PARAM_A                 65519
394#define CONFIG_RDNG_PARAM_C                 64037
395
396////////////////////////////////////////////////////////////////////////////////////////////
397//                                SCHEDULING
398////////////////////////////////////////////////////////////////////////////////////////////
399
400#define CONFIG_SCHED_TICK_MS_PERIOD         10000   // number of milliseconds per period
401#define CONFIG_SCHED_TICKS_PER_QUANTUM      1       // number of ticks between scheduling
402#define CONFIG_SCHED_MAX_THREADS_NR         32      // max number of threads per core
403#define CONFIG_SCHED_IDLE_MODE_SLEEP        0       // idle thread use sleep mode if non 0
404
405////////////////////////////////////////////////////////////////////////////////////////////
406//                                 THREADS
407////////////////////////////////////////////////////////////////////////////////////////////
408
409#define CONFIG_THREADS_MAX_PER_CLUSTER      32      // max threads per cluster per process
410#define CONFIG_THREAD_DESC_SIZE             0x4000  // thread desc size (with kernel stack)
411#define CONFIG_THREAD_DESC_ORDER            2       // ln( number of 4K pages )
412
413////////////////////////////////////////////////////////////////////////////////////////////
414//                             REMOTE PROCEDURE CALL
415////////////////////////////////////////////////////////////////////////////////////////////
416
417#define CONFIG_REMOTE_FIFO_SLOTS                    16
418#define CONFIG_REMOTE_FIFO_MAX_ITERATIONS   1024
419#define CONFIG_RPC_THREADS_MAX              4      // max number of RPC threads per core
420
421////////////////////////////////////////////////////////////////////////////////////////////
422//             32 bits  USER SPACE SEGMENTATION / all values are numbers of pages
423////////////////////////////////////////////////////////////////////////////////////////////
424
425#define CONFIG_VMM_VSPACE_SIZE        0x100000     // virtual space          : 4   Gbytes
426
427#define CONFIG_VMM_UTILS_BASE         0x000200     // UTILS zone base        : 2   Mbytes
428#define CONFIG_VMM_ELF_BASE           0x000400     // ELF zone base          : 4   Mbytes
429#define CONFIG_VMM_HEAP_BASE          0x002000     // HEAP zone base         : 32  Mbytes
430#define CONFIG_VMM_STACK_BASE         0x0C0000     // STACK zone base        : 3   Gbytes
431
432#define CONFIG_VMM_ARGS_SIZE          0x000004     // args vseg size         : 16  Kbytes
433#define CONFIG_VMM_ENVS_SIZE          0x000008     // envs vseg size         : 32  Kbytes
434#define CONFIG_VMM_STACK_SIZE         0x001000     // single stack vseg size : 16  Mbytes
435
436////////////////////////////////////////////////////////////////////////////////////////////
437//                      PHYSICAL MEMORY MANAGEMENT         
438////////////////////////////////////////////////////////////////////////////////////////////
439
440#define CONFIG_PPM_PAGE_SIZE          4096         // physical page size (bytes)
441#define CONFIG_PPM_PAGE_SHIFT         12           // physical page shift (bits)
442#define CONFIG_PPM_PAGE_MASK          0x00000FFF   // physical page mask     
443#define CONFIG_PPM_MAX_ORDER          16           // ln(total number of pages per cluster)
444#define CONFIG_PPM_HEAP_ORDER         10           // ln(number of heap pages per cluster)
445#define CONFIG_PPM_MAX_RSVD           32           // max reserved zones on the machine
446
447#define CONFIG_KCM_SLOT_SIZE          64           // smallest allocated block (bytes)
448
449#define CONFIG_PPM_PAGE_ALIGNED       __attribute__((aligned(CONFIG_PPM_PAGE_SIZE)))
450
451
452////////////////////////////////////////////////////////////////////////////////////////////
453//                 INSTRUMENTATION
454////////////////////////////////////////////////////////////////////////////////////////////
455
456#define CONFIG_INSTRUMENTATION_SYSCALLS  0
457#define CONFIG_INSTRUMENTATION_PGFAULTS  1
458
459
460
461
462
463#endif  /* _KERNEL_CONFIG_H_ */
Note: See TracBrowser for help on using the repository browser.