#ifndef INCLUDED_OS_CONFIG_H
#define INCLUDED_OS_CONFIG_H

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

#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_CPU_CLZ_ASM_PRESENT @OS_CFG_CPU_CLZ_ASM_PRESENT@

#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@


/* ==================================================================================================== */
/* 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 */

#endif /*INCLUDED_OS_CONFIG_H*/