114 lines
2.9 KiB
C
114 lines
2.9 KiB
C
|
/**
|
||
|
|
* \file
|
||
|
|
* <!--
|
||
|
|
* This file is part of BeRTOS.
|
||
|
|
*
|
||
|
|
* Bertos is free software; you can redistribute it and/or modify
|
||
|
|
* it under the terms of the GNU General Public License as published by
|
||
|
|
* the Free Software Foundation; either version 2 of the License, or
|
||
|
|
* (at your option) any later version.
|
||
|
|
*
|
||
|
|
* This program is distributed in the hope that it will be useful,
|
||
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
||
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||
|
|
* GNU General Public License for more details.
|
||
|
|
*
|
||
|
|
* You should have received a copy of the GNU General Public License
|
||
|
|
* along with this program; if not, write to the Free Software
|
||
|
|
* Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
|
||
|
|
*
|
||
|
|
* As a special exception, you may use this file as part of a free software
|
||
|
|
* library without restriction. Specifically, if other files instantiate
|
||
|
|
* templates or use macros or inline functions from this file, or you compile
|
||
|
|
* this file and link it with other files to produce an executable, this
|
||
|
|
* file does not by itself cause the resulting executable to be covered by
|
||
|
|
* the GNU General Public License. This exception does not however
|
||
|
|
* invalidate any other reasons why the executable file might be covered by
|
||
|
|
* the GNU General Public License.
|
||
|
|
*
|
||
|
|
* Copyright 2001, 2004 Develer S.r.l. (http://www.develer.com/)
|
||
|
|
* Copyright 1999, 2000, 2001, 2008 Bernie Innocenti <bernie@codewiz.org>
|
||
|
|
* -->
|
||
|
|
*
|
||
|
|
* \brief Kernel configuration parameters
|
||
|
|
*
|
||
|
|
* \author Bernie Innocenti <bernie@codewiz.org>
|
||
|
|
*/
|
||
|
|
|
||
|
|
#ifndef CFG_PROC_H
|
||
|
|
#define CFG_PROC_H
|
||
|
|
|
||
|
|
/**
|
||
|
|
* Enable the multithreading kernel.
|
||
|
|
*
|
||
|
|
* $WIZ$ type = "autoenabled"
|
||
|
|
*/
|
||
|
|
#define CONFIG_KERN 0
|
||
|
|
|
||
|
|
/**
|
||
|
|
* Kernel interrupt supervisor. WARNING: Experimental, still incomplete!
|
||
|
|
* $WIZ$ type = "boolean"
|
||
|
|
* $WIZ$ supports = "False"
|
||
|
|
*/
|
||
|
|
#define CONFIG_KERN_IRQ 0
|
||
|
|
|
||
|
|
/**
|
||
|
|
* Preemptive process scheduling.
|
||
|
|
*
|
||
|
|
* $WIZ$ type = "boolean"
|
||
|
|
* $WIZ$ conditional_deps = "timer"
|
||
|
|
*/
|
||
|
|
#define CONFIG_KERN_PREEMPT 0
|
||
|
|
|
||
|
|
/**
|
||
|
|
* Time sharing quantum (a prime number prevents interference effects) [ms].
|
||
|
|
*
|
||
|
|
* $WIZ$ type = "int"
|
||
|
|
* $WIZ$ min = 1
|
||
|
|
*/
|
||
|
|
#define CONFIG_KERN_QUANTUM 11
|
||
|
|
|
||
|
|
/**
|
||
|
|
* Priority-based scheduling policy.
|
||
|
|
* $WIZ$ type = "boolean"
|
||
|
|
*/
|
||
|
|
#define CONFIG_KERN_PRI 1
|
||
|
|
|
||
|
|
/**
|
||
|
|
* Priority-inheritance protocol.
|
||
|
|
* $WIZ$ type = "boolean"
|
||
|
|
*/
|
||
|
|
#define CONFIG_KERN_PRI_INHERIT 0
|
||
|
|
|
||
|
|
/**
|
||
|
|
* Dynamic memory allocation for processes.
|
||
|
|
* $WIZ$ type = "boolean"
|
||
|
|
* $WIZ$ conditional_deps = "heap"
|
||
|
|
*/
|
||
|
|
#define CONFIG_KERN_HEAP 0
|
||
|
|
|
||
|
|
/**
|
||
|
|
* Size of the dynamic memory pool used by processes.
|
||
|
|
* $WIZ$ type = "int"
|
||
|
|
* $WIZ$ min = 0
|
||
|
|
*/
|
||
|
|
#define CONFIG_KERN_HEAP_SIZE 2048L
|
||
|
|
|
||
|
|
/**
|
||
|
|
* Module logging level.
|
||
|
|
*
|
||
|
|
* $WIZ$ type = "enum"
|
||
|
|
* $WIZ$ value_list = "log_level"
|
||
|
|
*/
|
||
|
|
#define KERN_LOG_LEVEL LOG_LVL_ERR
|
||
|
|
|
||
|
|
/**
|
||
|
|
* Module logging format.
|
||
|
|
*
|
||
|
|
* $WIZ$ type = "enum"
|
||
|
|
* $WIZ$ value_list = "log_format"
|
||
|
|
*/
|
||
|
|
#define KERN_LOG_FORMAT LOG_FMT_VERBOSE
|
||
|
|
|
||
|
|
#endif /* CFG_PROC_H */
|