/*
 *  kernel_id.h
 *  Sat Apr 14 01:46:33 2012
 *  SG Version 2.00
 *  sg.exe ./datalogging.oil -os=ECC2 -I../../ecrobot/../toppers_osek/sg/impl_oil -template=../../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 */

