## ----------------------------------------------------------------------#     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/VR4131)##	System configuration###	Product information#TSysName	T-Kernel	# System name##	T-Kernel/OS#TMaxTskId	150	# Maximum task IDTMaxSemId	100	# Maximum semaphore IDTMaxFlgId	100	# Maximum event flag IDTMaxMbxId	20	# Maximum mail box IDTMaxMtxId	100	# Maximum mutex IDTMaxMbfId	20	# Maximum message buffer IDTMaxPorId	50	# Maximum rendezvous port IDTMaxMpfId	10	# Maximum fixed size memory pool IDTMaxMplId	10	# Maximum variable size memory pool IDTMaxCycId	20	# Maximum cyclic handler IDTMaxAlmId	40	# Maximum alarm handler IDTMaxResId	60	# Maximum resource group IDTMaxSsyId	50	# Maximum sub system IDTMaxSsyPri	16	# Maximum sub system priorityTSysStkSz	4080	# Default system stack size (byte)TSVCLimit	1	# SVC protection levelTTimPeriod	10	# Timer interval (msec)##	T-Kernel/SM#TMaxRegDev	32	# Maximum number of devices registrationTMaxOpnDev	64	# Maximum number of devices openTMaxReqDev	64	# Maximum number of device requestsTDEvtMbfSz	1024 64	# Event notification message buffer size (byte),			# Maximum length of message (byte)##	Task Event(1-8)#TEV_MsgEvt	1	# Message management : Recieve messageTEV_MsgBrk	2	# Message management : Release of an message waiting stateTEV_GDI		3	# GDI interfaceTEV_FFLock	4	# Release of an FIFO lock waiting state##	Segment manager#RealMemEnd	0x90000000	# RAM bottom address (logical address)