pico]OS  1.1.0
Macros
poscfg.h File Reference

pico]OS configuration file More...

Go to the source code of this file.

Macros

#define POSCFG_MAX_PRIO_LEVEL   8
 
#define POSCFG_TASKS_PER_PRIO   8
 
#define POSCFG_MAX_TASKS   16
 
#define POSCFG_MAX_EVENTS   16
 
#define POSCFG_MAX_MESSAGES   8
 
#define POSCFG_MAX_TIMER   4
 
#define POSCFG_ROUNDROBIN   1
 
#define POSCFG_SOFT_MTASK   1
 
#define POSCFG_CTXSW_COMBINE   10
 
#define POSCFG_REALTIME_PRIO   0
 
#define POSCFG_TASKCB_USERSPACE   0
 
#define POSCFG_MSG_MEMORY   1
 
#define POSCFG_MSG_BUFSIZE   80
 
#define POSCFG_SOFTINTERRUPTS   8
 
#define POSCFG_SOFTINTQUEUELEN   20
 
#define HZ   18 /* timer ticks per second */
 
#define POSCFG_FASTCODE   1
 
#define POSCFG_SMALLCODE   1
 
#define POSCFG_ARGCHECK   1
 
#define POSCFG_FEATURE_YIELD   1
 
#define POSCFG_FEATURE_SLEEP   1
 
#define POSCFG_FEATURE_EXIT   1
 
#define POSCFG_FEATURE_GETPRIORITY   1
 
#define POSCFG_FEATURE_SETPRIORITY   1
 
#define POSCFG_FEATURE_SEMAPHORES   1
 
#define POSCFG_FEATURE_SEMADESTROY   1
 
#define POSCFG_FEATURE_SEMAWAIT   1
 
#define POSCFG_FEATURE_MUTEXES   1
 
#define POSCFG_FEATURE_MUTEXDESTROY   1
 
#define POSCFG_FEATURE_MUTEXTRYLOCK   1
 
#define POSCFG_FEATURE_GETTASK   1
 
#define POSCFG_FEATURE_TASKUNUSED   1
 
#define POSCFG_FEATURE_MSGBOXES   1
 
#define POSCFG_FEATURE_MSGWAIT   1
 
#define POSCFG_FEATURE_INHIBITSCHED   1
 
#define POSCFG_FEATURE_JIFFIES   1
 
#define POSCFG_FEATURE_TIMER   1
 
#define POSCFG_FEATURE_TIMERDESTROY   1
 
#define POSCFG_FEATURE_TIMERFIRED   1
 
#define POSCFG_FEATURE_FLAGS   1
 
#define POSCFG_FEATURE_FLAGDESTROY   1
 
#define POSCFG_FEATURE_FLAGWAIT   1
 
#define POSCFG_FEATURE_SOFTINTS   1
 
#define POSCFG_FEATURE_SOFTINTDEL   1
 
#define POSCFG_FEATURE_IDLETASKHOOK   1
 
#define POSCFG_FEATURE_ATOMICVAR   1
 
#define POSCFG_FEATURE_ERRNO   1
 
#define POSCFG_FEATURE_LISTS   1
 
#define POSCFG_FEATURE_LISTJOIN   1
 
#define POSCFG_FEATURE_LISTLEN   1
 
#define POSCFG_FEATURE_DEBUGHELP   0
 
#define POSCFG_FEATURE_POWER   0
 
#define POSCFG_FEATURE_TICKLESS   1
 

Detailed Description

pico]OS configuration file

Author
Dennis Kuschel

This file is originally from the pico]OS realtime operating system (http://picoos.sourceforge.net).