/*
 *  kernel_id.h
 *  Sat Apr 07 20:00:15 2012
 *  SG Version 2.00
 *  sg.exe model_impl.oil -os=ECC2 -I../nxtOSEK/ecrobot/../toppers_osek/sg/impl_oil -template=../nxtOSEK/ecrobot/../toppers_osek/sg/lego_nxt.sgt
 */
#ifndef KERNEL_ID_H
#define KERNEL_ID_H

 /****** Object OS ******/


 /****** Object TASK ******/

 /****** Object COUNTER ******/

 /****** Object ALARM ******/

 /****** Object RESOURCE ******/

 /****** Object EVENT ******/

 /****** Object ISR ******/

 /****** Object APPMODE ******/

#define appmode1	(AppModeType)( 1U << 0 )

#endif	/* ! KERNEL_ID_H */

