salvolib.h

嵌入式操作系统Salvo 在单片机C8051F350上的移植

#if !defined(OSMESSAGE_QUEUES)
#define OSMESSAGE_QUEUES                0
#elif OSMESSAGE_QUEUES > 0
#error salvolib.h: Library incompatible with OSMESSAGE_QUEUES > 0 -- aborting.
#endif

#endif /* #if (OSLIBRARY_CONFIG ... */


/*                                                          */
/* tasks can be overridden downwards, but not to 0          */
/*                                                          */
#if !defined(OSTASKS)
#define OSTASKS                         OSLIBRARY_TASKS
#elif OSTASKS == 0
#error salvolib.h: Library requires OSTASKS >= 0 -- aborting.
#elif ( (OSTASKS > OSLIBRARY_TASKS) \
     && ( (OSLIBRARY_TYPE == OSF) ) )
#error salvolib.h: OSTASKS exceeds freeware library limit -- aborting.
#elif ( (OSTASKS > OSLIB_SE_TASKS_LIMIT) \
     && ( (OSLIBRARY_TYPE == OSL) && (OSLIBRARY_CONFIG == OSS) ) )
#error salvolib.h: OSTASKS exceeds SE library limit -- aborting.
#endif

#endif /* #if OSMAKE_LIBRARY */




/************************************************************/
/************************************************************/
/*                                                          */
/* Begin target-specific settings and overrides             */
/*                                                          */

/*                                                          */
/* Begin PIC12 library special settings and overrides       */
/*                                                          */
#if (OSTARGET == OSPIC12)
                                        
#undef  OSBYTES_OF_TICKS
#define OSBYTES_OF_TICKS                0
#undef  OSDISABLE_TASK_PRIORITIES
#define OSDISABLE_TASK_PRIORITIES       TRUE
#undef  OSENABLE_IDLING_HOOK
#define OSENABLE_IDLING_HOOK            FALSE

#if (_BANKBITS_ == 0)
#define OSLOC_ALL                       persistent    
#else
#define OSLOC_ALL                       bank1 persistent
#endif


/*                                                          */
/* Begin PIC16 library special settings and overrides       */
/*                                                          */
#elif (OSTARGET == OSPIC16)

#if (_BANKBITS_ == 0)
#define OSLOC_ALL                       persistent    
#else
#define OSLOC_ALL                       bank1 persistent
#endif

/*                                                          */
/* Begin PIC17 library special settings and overrides       */
/*                                                          */
#elif (OSTARGET == OSPIC17)

#if (_BANKBITS_ == 0)
#define OSLOC_ALL                       persistent    
#else
#define OSLOC_ALL                       bank1 persistent
#endif

/*                                                          */
/* Begin PIC18 library special settings and overrides       */
/*                                                          */
#elif (OSTARGET == OSPIC18)


#if (OSCOMPILER == OSHT_PICC)

#define OSLOC_ALL                       persistent    


#elif (OSCOMPILER == OSMPLAB_C18)


#endif


/*                                                          */
/* Begin V8 library special settings and overrides          */
/*                                                          */
#elif (OSTARGET == OSVAV8)

#define OSLOC_ALL                       persistent    


/*                                                          */
/* Begin GCC special settings and overrides                 */
/*                                                          */
#elif (OSTARGET == OSIX86)
                                        
#undef  OSBYTES_OF_DELAYS
#define OSBYTES_OF_DELAYS              4   
#define OSENABLE_STACK_CHECKING        TRUE 
#define OSGATHER_STATISTICS            TRUE
#define OSLOGGING                      TRUE
#define OSLOG_MESSAGES                 OSWARNINGS
#define OSRPT_HIDE_INVALID_POINTERS    TRUE
#define OSRPT_SHOW_ONLY_ACTIVE         FALSE
#define OSRPT_SHOW_TOTAL_DELAY         TRUE


/*                                                          */
/* Begin 8051 special settings and overrides                */
/*                                                          */
#elif (OSTARGET == OSI8051)


/*                                                          */
/* Begin GNU AVR-GCC C compiler special settings and        */
/*  overrides for specified targets.                        */
/*                                                          */
#elif (OSCOMPILER == OSGCC_AVR)


/*                                                          */
/* Begin IAR 430 C compiler + MSP430 target special settings*/
/*  and overrides                                           */
/*                                                          */
#elif (OSCOMPILER == OSIAR_ICC) 

#if   (OSTARGET == OSPIC18)
#define OSIAR_PIC18_ATTR_ALL            __no_init    
#define OSLOC_ALL                       __bank0
#elif (OSTARGET == OSMSP430)
#else
#error salvolib.h: Unknown target for IAR compiler.
#endif


/*                                                          */
/* Begin ImageCraft compiler special settings and           */
/*  overrides for specified targets.                        */
/*                                                          */
#elif (OSCOMPILER == OSIMAGECRAFT)

#if   (OSTARGET == OSAVR)
#elif (OSTARGET == OSM68HC11)
#elif (OSTARGET == OSMSP430)
#else
#error salvolib.h: Unknown target for ImageCraft compiler.
#endif



/*                                                          */
/* Begin CrossWorks compiler special settings and           */
/*  overrides for specified targets.                        */
/*                                                          */
#elif (OSCOMPILER == OSRA_CROSSSTUDIO)

#if   (OSTARGET == OSMSP430 )
#else
#error salvolib.h: Unknown target for CrossWorks compiler.
#endif



/*                                                          */
/* Begin AQ430 compiler target special settings and         */
/*  overrides                                               */
/*                                                          */
#elif (OSCOMPILER == OSAQ_430)



/*                                                          */
/* Begin EZ8 library special settings and overrides         */
/*                                                          */
#elif (OSTARGET == OSEZ8)



/*                                                          */
/* Begin TMS320C28X library special settings and overrides  */
/*                                                          */
#elif (OSTARGET == OSTMS320C24X) || (OSTARGET == OSTMS320C28X)


/*                                                          */
/* Undefined OSTARGET                                       */
/*                                                          */
#else
#error salvolib.h: Undefined target (OSTARGET) -- aborting.
#endif

#else

#error salvolib.h: Undefined compiler (OSCOMPILER) -- aborting.

#endif /* #if OSCOMPILER == ... */


/************************************************************/
/************************************************************/
/*                                                          */
/* For custom user libraries. Up to 20 custom libraries are */
/*  supported without editing this file.                    */
/*                                                          */
/* To use this feature to create custom libraries, the user */
/*  must invoke Salvo's Makefiles with an additional make   */
/*  command-line argument, e.g.                             */
/*                                                          */
/*      make libslicc430ia.a CLC=5                          */
/*                                                          */
/* This Custom Library Configuration command-line argument  */
/*  will result in a user-defined, additional header file   */  
/*  (in this case, salvoclc5.h) being appended to           */
/*  salvolib.h. In the user header file, the user should    */
/*  undefine and then redefine those Salvo configuration    */
/*  options he/she wishes to override when building the     */
/*  custom library, e.g.                                    */
/*                                                          */
/*      #undef    OSBYTES_OF_DELAYS                         */
/*      #define   OSBYTES_OF_DELAYS 2                       */
/*                                                          */
/*  will result in libraries that support 16-bit delays (a  */
/*  configuration that differs from the default).           */
/*                                                          */
/* It is up to the user to define configuration options     */
/*  that are appropriate for the particular Salvo library   */
/*  being generated. It is recommended that users employ    */
/*  unique names for custom libraries -- the libraries      */
/*  should be renamed after they are generated from within  */
/*  the Salvo makefile system.                              */
/*                                                          */
/* To use a custom user library in a Salvo library build,   */
/*  it is necessary to add the following configuration      */
/*  option to the project's salvocfg.h:                     */
/*                                                          */
/*      #define OSCUSTOM_LIBRARY_CONFIG n                   */
/*                                                          */
/*  where n is the custom library config of interest (5,    */
/*  in the example above).                                  */
/*                                                          */
/************************************************************/
#if !defined(OSCUSTOM_LIBRARY_CONFIG)
#define OSCUSTOM_LIBRARY_CONFIG			0
#endif

#if   (OSCUSTOM_LIBRARY_CONFIG ==  1)
#include "salvoclc1.h"
#elif (OSCUSTOM_LIBRARY_CONFIG ==  2)
#include "salvoclc2.h"
#elif (OSCUSTOM_LIBRARY_CONFIG ==  3)
#include "salvoclc3.h"
#elif (OSCUSTOM_LIBRARY_CONFIG ==  4)
#include "salvoclc4.h"
#elif (OSCUSTOM_LIBRARY_CONFIG ==  5)
#include "salvoclc5.h"
#elif (OSCUSTOM_LIBRARY_CONFIG ==  6)
#include "salvoclc6.h"
#elif (OSCUSTOM_LIBRARY_CONFIG ==  7)
#include "salvoclc7.h"
#elif (OSCUSTOM_LIBRARY_CONFIG ==  8)
#include "salvoclc8.h"
#elif (OSCUSTOM_LIBRARY_CONFIG ==  9)
#include "salvoclc9.h"
#elif (OSCUSTOM_LIBRARY_CONFIG == 10)
#include "salvoclc10.h"
#elif (OSCUSTOM_LIBRARY_CONFIG == 11)
#include "salvoclc11.h"
#elif (OSCUSTOM_LIBRARY_CONFIG == 12)
#include "salvoclc12.h"
#elif (OSCUSTOM_LIBRARY_CONFIG == 13)
#include "salvoclc13.h"
#elif (OSCUSTOM_LIBRARY_CONFIG == 14)
#include "salvoclc14.h"
#elif (OSCUSTOM_LIBRARY_CONFIG == 15)
#include "salvoclc15.h"
#elif (OSCUSTOM_LIBRARY_CONFIG == 16)
#include "salvoclc16.h"
#elif (OSCUSTOM_LIBRARY_CONFIG == 17)
#include "salvoclc17.h"
#elif (OSCUSTOM_LIBRARY_CONFIG == 18)
#include "salvoclc18.h"
#elif (OSCUSTOM_LIBRARY_CONFIG == 19)
#include "salvoclc19.h"
#elif (OSCUSTOM_LIBRARY_CONFIG == 20)
#include "salvoclc20.h"
#elif (OSCUSTOM_LIBRARY_CONFIG >  20)
#error salvolib.h: Nonexistant custom library config file salvoclcN.h -- aborting.
#endif