30 #define KERNEL_DEBUG (0) 43 #define KERNEL_STACK_CHECK (1) 52 #define KERNEL_NAMED_THREADS (1) 62 #define KERNEL_EVENT_FLAGS (1) 70 #define KERNEL_CONTEXT_SWITCH_CALLOUT (1) 76 #define KERNEL_THREAD_CREATE_CALLOUT (1) 82 #define KERNEL_THREAD_EXIT_CALLOUT (1) 90 #define KERNEL_ROUND_ROBIN (1) 97 #define KERNEL_EXTENDED_CONTEXT (1) Mark3 Port Configuration.