## ----------------------------------------------------------------------#     T-Kernel##     Copyright (C) 2004-2006 by Ken Sakamura. All rights reserved.#     T-Kernel is distributed under the T-License.# ----------------------------------------------------------------------##     Version:   1.02.02#     Released by T-Engine Forum(http://www.t-engine.org) at 2006/8/9.## ----------------------------------------------------------------------###	Makefile for gmake#	T-Kernel/System Manager (system-dependent description)## T-Engine typeMACHINE = vr4131TETYPE = mic# default rulesinclude ../../../../etc/makerules# source files (system-dependent)SRC = chkplv.c power.c cache.c cache_asm.S# Extension source filesVPATH += ../../../extension/memory/nommuSRC += memmgr.c segmgr.c# include main makefile (common description)include ../../src/Makefile.common