sysconf

日本著名的的嵌入式实时操作系统T-Kernel的源码及用户手册。

#
# ----------------------------------------------------------------------
#     T-Kernel
#
#     Copyright (C) 2004 by Ken Sakamura. All rights reserved.
#     T-Kernel is distributed under the T-License.
# ----------------------------------------------------------------------
#
#     Version:   1.01.00
#     Released by T-Engine Forum(http://www.t-engine.org) at 2004/6/28.
#
# ----------------------------------------------------------------------
#

#
#	SYSCONF (T-Engine/SH7760)
#
#	System configuration
#

#
#	Product information
#
TSysName	T-Kernel	# System name

#
#	T-Kernel/OS
#
TMaxTskId	150	# Maximum task ID
TMaxSemId	100	# Maximum semaphore ID
TMaxFlgId	100	# Maximum event flag ID
TMaxMbxId	20	# Maximum mail box ID
TMaxMtxId	100	# Maximum mutex ID
TMaxMbfId	20	# Maximum message buffer ID
TMaxPorId	50	# Maximum rendezvous port ID
TMaxMpfId	10	# Maximum fixed size memory pool ID
TMaxMplId	10	# Maximum variable size memory pool ID
TMaxCycId	20	# Maximum cyclic handler ID
TMaxAlmId	40	# Maximum alarm handler ID
TMaxResId	60	# Maximum resource group ID
TMaxSsyId	50	# Maximum sub system ID
TMaxSsyPri	16	# Maximum sub system priority

TSysStkSz	2048	# Default system stack size (byte)
TSVCLimit	1	# SVC protection level
TTimPeriod	10	# Timer interval (msec)

#
#	T-Kernel/SM
#
TMaxRegDev	32	# Maximum number of devices registration
TMaxOpnDev	64	# Maximum number of devices open
TMaxReqDev	64	# Maximum number of device requests
TDEvtMbfSz	1024 64	# Event notification message buffer size (byte),
			# Maximum length of message (byte)

#
#	Task Event(1-8)
#
TEV_MsgEvt	1	# Message management : Recieve message
TEV_MsgBrk	2	# Message management : Release of an message waiting state
TEV_GDI		3	# GDI interface
TEV_FFLock	4	# Release of an FIFO lock waiting state

#
#	Segment manager
#
RealMemEnd	0x90000000	# RAM bottom address (logical address)