portcfg.h

Go to the documentation of this file.

/*===========================================================================
     _____        _____        _____        _____
 ___|    _|__  __|_    |__  __|__   |__  __| __  |__  ______
|    \  /  | ||    \      ||     |     ||  |/ /     ||___   |
|     \/   | ||     \     ||     \     ||     \     ||___   |
|__/\__/|__|_||__|\__\  __||__|\__\  __||__|\__\  __||______|
    |_____|      |_____|      |_____|      |_____|

--[Mark3 Realtime Platform]--------------------------------------------------

Copyright (c) 2012 - 2019 m0slevin, all rights reserved.
See license.txt for more information
===========================================================================*/
#pragma once

#define KERNEL_NUM_PRIORITIES (16)

#define KERNEL_TIMERS_THREAD_PRIORITY (KERNEL_NUM_PRIORITIES - 1)

#define THREAD_QUANTUM_DEFAULT (4)

#define KERNEL_STACK_GUARD_DEFAULT (32) // words

#define PORT_COROUTINE_PRIORITIES (8)

#ifndef AVR
#define AVR (1)
#endif

#define K_WORD uint8_t  
#define K_ADDR uint16_t 
#define K_INT int32_t

#define PORT_PRIO_TYPE uint8_t      
#define PORT_PRIO_MAP_WORD_SIZE (1) 


#if !defined(PORT_SYSTEM_FREQ)
#define PORT_SYSTEM_FREQ ((uint32_t)16000000) 
#endif

#define PORT_TIMER_FREQ ((uint32_t)(PORT_SYSTEM_FREQ / 1000)) 


#define PORT_KERNEL_DEFAULT_STACK_SIZE ((K_ADDR)384)

#define PORT_KERNEL_TIMERS_THREAD_STACK ((K_ADDR)384)

#define PORT_TIMER_COUNT_TYPE uint16_t 


#define PORT_MIN_TIMER_TICKS (0)

#define PORT_OVERLOAD_NEW (1)

#define PORT_STACK_GROWS_DOWN (1)

#define PORT_USE_HW_CLZ   (1)