config.common

C++ 编写的EROS RTOS

# -*- python -*-
#
# Copyright (C) 1998, 1999, Jonathan S. Shapiro.
#
# This file is part of the EROS Operating System.
#
# This program 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,
# 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, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
#

#####################################################################
#
# Incorporates the kernel debugger into the kernel.
#
#####################################################################
defoption("ddb")

#####################################################################
#
# Determines whether kernel debugger watchpoints will be
# supported. This option has not been tested in a very long time, and
# may not be working.
#
#####################################################################
defoption("ddb_watch")
depends("ddb_watch", "ddb")

#####################################################################
#
# Determine what device the kernel debugger, if present, should use as
# its input/output device. At most one of these should be set at a
# time. If no selection is made here, and the debugger is enabled,
# the debugger defaults to using the first serial port (tty0).
#
#####################################################################
defoption("ddb_on_console")
depends("ddb_on_console", "ddb")
defoption("ddb_on_tty0")
depends("ddb_on_tty0", "ddb")

defoption("ndebug", 1)
defoption("inet")
defoption("scsi")
defoption("npx")

#####################################################################
#
# If the architecture in question supports the small spaces 
# operation, this option enables it in the kernel source code.
# If available, small spaces make a great many domains run a lot
# faster.
#
#####################################################################
defoption("small_spaces")

#####################################################################
#
# The OB_MOD_CHECK option causes checksums to be computed as each
# object is loaded into the kernel.  If OB_MOD_CHECK is enabled,
# checksums for allegedly unmodified are periodically verified.
# This has proven VERY helpful in debugging wild pointer errors.
#
#####################################################################
defoption("ob_mod_check")

#####################################################################
#
# Controls whether internal statistics are kept for various kernel
# book-keeping actions, which is a useful for checking whether the
# kernel tunables need reevaluation.  Kernel stats are accessable
# via either OPTION_DDB or the systrace key.
#
#####################################################################
defoption("kern_stats")
option("kern_stats")

#####################################################################
#
# On machines that provide a fine-grain cycle counter, additional
# measurements of the cost of various parts of the kernel can be
# collected and manipulated via both the SysTrace key and the kernel 
# debugger.
#
#####################################################################
defoption("kern_timing_stats")

#####################################################################
#
# On machines that provide an event tracing interface, event
# recording can also be compiled in to the kernel.
#
#####################################################################
defoption("kern_event_tracing")

#####################################################################
#
# Controls whether kernel profiling is run.  Running profiling takes
# some bit of space, but doesn't seem to carry a lot of overhead.
# You cannot get to the results without also enabling ddb.
#
#####################################################################
defoption("kern_profile")

#####################################################################
#
# Controls whether string check is done for all invocations, or only
# for those that actually accept strings.  The former is semantically
# correct.  The latter may or may not be faster.
#
#####################################################################
defoption("pure_entry_strings")
defoption("pure_exit_strings")
#option("pure_entry_strings")
#option("pure_exit_strings")

#####################################################################
#
# Controls how fast the clock interrupt rate is.  If FAST_CLOCK is
# enables, clock interrupts are more frequent, but the overall load
# on the system is nontrivial.  The precise interrupt rate resulting
# from fast_clock is platform-dependent.
#
#####################################################################
defoption("fast_clock")

#####################################################################
#
# Controls whether the kernel is compiled to support persistence or
# not. A non-persistent kernel will never attempt to write dirty pages
# or nodes to the store, though it will attempt to "forget" clean
# pages on the assumption that they can be reloaded from the ROM image
# or RAM image. If the kernel is not persistent, and the ager cannot 
# free any memory when a new page/node is required, the kernel will 
# halt with a diagnostic.
#
# If the kernel is not persistent, then the checkpoint support logic
# is omitted.
#
# There is presently no support for user-level directed cleaning, 
# though there should be.
#
#####################################################################
defoption("persistent")
defoption("romable")