#ifndef INCLUDED_OS_CONFIG_H
#define INCLUDED_OS_CONFIG_H

/* ==================================================================================================== */
/* OPTIONS */

#cmakedefine OS_ALIGN_SIZE @OS_ALIGN_SIZE@
#cmakedefine OS_CFG_CPU_INT_NBITS @OS_CFG_CPU_INT_NBITS@
#cmakedefine OS_CFG_TICKS_PER_SECOND @OS_CFG_TICKS_PER_SECOND@
#cmakedefine OS_CFG_SYSCALL_PRIORITY @OS_CFG_SYSCALL_PRIORITY@
#cmakedefine OS_CFG_PRIORITY_MAX @OS_CFG_PRIORITY_MAX@

#cmakedefine OS_CFG_IDLE_TASK_STACK_SIZE @OS_CFG_IDLE_TASK_STACK_SIZE@
#cmakedefine OS_CFG_IDLE_TASK_TICKS @OS_CFG_IDLE_TASK_TICKS@
#cmakedefine OS_CFG_IDLE_TASK_PRIORITY @OS_CFG_IDLE_TASK_PRIORITY@
#cmakedefine OS_CFG_NAME_MAX @OS_CFG_NAME_MAX@
#cmakedefine OS_CFG_DEVICE_MAX @OS_CFG_DEVICE_MAX@


#cmakedefine OS_CFG_CPU_CLZ_ASM_PRESENT @OS_CFG_CPU_CLZ_ASM_PRESENT@
#cmakedefine OS_CFG_CPU_CORE_NAME @OS_CFG_CPU_CORE_NAME@
#cmakedefine OS_CFG_CPU_FPU_PRESENT @OS_CFG_CPU_FPU_PRESENT@
#cmakedefine OS_CFG_CPU_MPU_PRESENT @OS_CFG_CPU_MPU_PRESENT@



/* ==================================================================================================== */
/* DEFAULT */

#ifndef OS_CFG_CPU_INT_NBITS
#define OS_CFG_CPU_INT_NBITS 32
#endif /* OS_CFG_CPU_INT_NBITS */

#ifndef OS_CFG_TICKS_PER_SECOND
#define OS_CFG_TICKS_PER_SECOND 1000    
#endif /* OS_CFG_TICKS_PER_SECOND */

#ifndef OS_CFG_SYSCALL_PRIORITY
#define OS_CFG_SYSCALL_PRIORITY 0x4
#endif /* OS_CFG_SYSCALL_PRIORITY */

#ifndef OS_CFG_PRIORITY_MAX
#define OS_CFG_PRIORITY_MAX OS_CFG_CPU_INT_NBITS
#endif /* OS_CFG_PRIORITY_MAX */

#ifndef OS_CFG_NAME_MAX
#define OS_CFG_NAME_MAX 8
#endif /* OS_CFG_NAME_MAX */

#ifndef OS_CFG_DEVICE_MAX
#define OS_CFG_DEVICE_MAX 10
#endif /* OS_CFG_DEVICE_MAX */

#ifndef OS_CFG_IDLE_TASK_TICKS
#define OS_CFG_IDLE_TASK_TICKS 5
#endif /*OS_CFG_IDLE_TASK_TICKS*/

#ifndef OS_CFG_IDLE_TASK_STACK_SIZE
#define OS_CFG_IDLE_TASK_STACK_SIZE 1024
#endif /*OS_CFG_IDLE_TASK_STACK_SIZE*/

#ifndef OS_CFG_IDLE_TASK_PRIORITY
#define OS_CFG_IDLE_TASK_PRIORITY OS_PRIORITY_IDLE
#endif /*OS_CFG_IDLE_TASK_PRIORITY*/

#ifndef OS_CFG_CPU_FPU_PRESENT
#define OS_CFG_CPU_FPU_PRESENT 0
#endif /* OS_CFG_CPU_FPU_PRESENT */

#ifndef OS_CFG_CPU_MPU_PRESENT
#define OS_CFG_CPU_MPU_PRESENT 0
#endif /* OS_CFG_CPU_MPU_PRESENT */


#endif /*INCLUDED_OS_CONFIG_H*/