#cmakedefine MAX_CORES			(@MAX_CORES@)
#cmakedefine MAX_TASKS			(@MAX_TASKS@)
#cmakedefine MAX_ISLE			(@MAX_ISLE@)
#cmakedefine KERNEL_STACK_SIZE	(@KERNEL_STACK_SIZE@)
#cmakedefine DEFAULT_STACK_SIZE	(@DEFAULT_STACK_SIZE@)
#cmakedefine PACKAGE_VERSION 	"@PACKAGE_VERSION@"
#cmakedefine MAX_FNAME			(@MAX_FNAME@)

#cmakedefine SAVE_FPU

#cmakedefine DYNAMIC_TICKS

/* Define to use machine specific version of memcpy */
#cmakedefine HAVE_ARCH_MEMCPY

/* Define to use machine specific version of memset */
#cmakedefine HAVE_ARCH_MEMSET

/* Define to use machine specific version of strcpy */
#cmakedefine HAVE_ARCH_STRCPY

/* Define to use machine specific version of strlen */
#cmakedefine HAVE_ARCH_STRLEN

/* Define to use machine specific version of strncpy */
#cmakedefine HAVE_ARCH_STRNCPY