/* kernel_cfg.h */
#ifndef TOPPERS_KERNEL_CFG_H
#define TOPPERS_KERNEL_CFG_H

#define TNUM_TSKID	2
#define TNUM_CYCID	0
#define TNUM_ALMID	0

#define TASK1_ID	1
#define TASK2_ID	2
#endif /* TOPPERS_KERNEL_CFG_H */

