gonzui: tkernel_2/include/tk/tkernel.h

    1: /*
    2:  *----------------------------------------------------------------------
    3:  *    T-Kernel 2.0 Software Package
    4:  *
    5:  *    Copyright 2011 by Ken Sakamura.
    6:  *    This software is distributed under the latest version of T-License 2.x.
    7:  *----------------------------------------------------------------------
    8:  *
    9:  *    Released by T-Engine Forum(http://www.t-engine.org/) at 2011/05/17.
   10:  *    Modified by TRON Forum(http://www.tron.org/) at 2015/06/01.
   11:  *
   12:  *----------------------------------------------------------------------
   13:  */
   14: 
   15: /*
   16:  *      @(#)tkernel.h (T-Kernel)
   17:  *
   18:  *      T-Kernel Definition
   19:  */
   20: 
   21: #ifndef __TK_TKERNEL_H__
   22: #define __TK_TKERNEL_H__
   23: 
   24: #include <basic.h>
   25: #include <tk/typedef.h>
   26: #include <tk/errno.h>
   27: 
   28: /*
   29:  * T-Kernel/OS
   30:  */
   31: #include <tk/syscall.h>
   32: 
   33: /*
   34:  * T-Kernel/SM
   35:  */
   36: #include <tk/sysmgr.h>
   37: #include <tk/devmgr.h>
   38: #include <tk/syslib.h>
   39: 
   40: #include <tk/sysext.h>
   41: #include <tk/ptimer.h>
   42: #include <tk/util.h>
   43: 
   44: #endif /* __TK_TKERNEL_H__ */