/*
 *  kernel_id.h
 *  Fri Sep 29 21:16:31 2023
 *  SG Version 2.00
 *  sg.exe pass.oil -os=ECC2 -IC:/TRIKStudio/nxt-tools/nxtOSEK/toppers_osek/sg/impl_oil -template=C:/TRIKStudio/nxt-tools/nxtOSEK/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 */

