Mark3 Realtime Kernel
mark3cfg.h
Go to the documentation of this file.
1 /*===========================================================================
2  _____ _____ _____ _____
3  ___| _|__ __|_ |__ __|__ |__ __| __ |__ ______
4 | \ / | || \ || | || |/ / ||___ |
5 | \/ | || \ || \ || \ ||___ |
6 |__/\__/|__|_||__|\__\ __||__|\__\ __||__|\__\ __||______|
7  |_____| |_____| |_____| |_____|
8 
9 --[Mark3 Realtime Platform]--------------------------------------------------
10 
11 Copyright (c) 2012 - 2019 m0slevin, all rights reserved.
12 See license.txt for more information
13 ===========================================================================*/
25 #pragma once
26 
30 #define KERNEL_DEBUG (0)
31 
43 #define KERNEL_STACK_CHECK (1)
44 
52 #define KERNEL_NAMED_THREADS (1)
53 
62 #define KERNEL_EVENT_FLAGS (1)
63 
70 #define KERNEL_CONTEXT_SWITCH_CALLOUT (1)
71 
76 #define KERNEL_THREAD_CREATE_CALLOUT (1)
77 
82 #define KERNEL_THREAD_EXIT_CALLOUT (1)
83 
90 #define KERNEL_ROUND_ROBIN (1)
91 
97 #define KERNEL_EXTENDED_CONTEXT (1)
98 
99 #include "portcfg.h"
Mark3 Port Configuration.