hw: kernel configuration in dedicated header

ref #528
This commit is contained in:
Martin Stein 2013-09-02 13:37:55 +02:00 committed by Norman Feske
parent a4ab2a4f30
commit e67016ca08
2 changed files with 31 additions and 11 deletions

View File

@ -0,0 +1,30 @@
/*
* \brief Static kernel configuration
* \author Martin Stein
* \date 2012-11-30
*/
/*
* Copyright (C) 2012-2013 Genode Labs GmbH
*
* This file is part of the Genode OS framework, which is distributed
* under the terms of the GNU General Public License version 2.
*/
#ifndef _KERNEL__CONFIGURATION_H_
#define _KERNEL__CONFIGURATION_H_
namespace Kernel
{
enum {
DEFAULT_STACK_SIZE = 1024 * 1024,
USER_LAP_TIME_MS = 100,
MAX_PDS = 256,
MAX_THREADS = 256,
MAX_SIGNAL_RECEIVERS = 256,
MAX_SIGNAL_CONTEXTS = 256,
MAX_VMS = 4,
};
}
#endif /* _KERNEL__CONFIGURATION_H_ */

View File

@ -24,6 +24,7 @@
#include <pic.h>
#include <timer.h>
#include <assert.h>
#include <kernel/configuration.h>
/* base-hw includes */
#include <singleton.h>
@ -46,17 +47,6 @@ namespace Kernel
template <typename T> class Avl_node : public Genode::Avl_node<T> { };
template <typename T> class Fifo : public Genode::Fifo<T> { };
/* kernel configuration */
enum {
DEFAULT_STACK_SIZE = 1*1024*1024,
USER_LAP_TIME_MS = 100,
MAX_PDS = 256,
MAX_THREADS = 256,
MAX_SIGNAL_RECEIVERS = 256,
MAX_SIGNAL_CONTEXTS = 256,
MAX_VMS = 4,
};
/**
* Map unique sortable IDs to object pointers
*