57 lines
1.5 KiB
C
57 lines
1.5 KiB
C
/*------------------------------------------------------------------------------
|
|
|
|
Copyright (C) 1998 : Space Systems Finland Ltd.
|
|
|
|
Space Systems Finland Ltd (SSF) allows you to use this version of
|
|
the DEBIE-I DPU software for the specific purpose and under the
|
|
specific conditions set forth in the Terms Of Use document enclosed
|
|
with or attached to this software. In particular, the software
|
|
remains the property of SSF and you must not distribute the software
|
|
to third parties without written and signed authorization from SSF.
|
|
|
|
System Name: DEBIE DPU SW
|
|
Subsystem : DAS
|
|
Module : kernobj.h
|
|
|
|
Definitions for the interface to the real-time kernel.
|
|
|
|
Based on the SSF file kernobj.h, revision 1.3, Thu Sep 09 16:01:56 1999.
|
|
|
|
- * --------------------------------------------------------------------------
|
|
*/
|
|
|
|
/* Definitions of kernel objects (eg. task and mailbox numbers) */
|
|
|
|
/* Task numbers */
|
|
|
|
#ifndef KERNOBJ_H
|
|
#define KERNOBJ_H
|
|
|
|
#define HEALTH_MONITORING_TASK 0
|
|
#define TC_TM_INTERFACE_TASK 1
|
|
#define ACQUISITION_TASK 2
|
|
|
|
#define HIT_TRIGGER_ISR_TASK 3
|
|
|
|
/* Task priorities */
|
|
|
|
#define HEALTH_MONITORING_PR 0
|
|
#define ACQUISITION_PR 1
|
|
#define TC_TM_INTERFACE_PR 2
|
|
|
|
#define HIT_TRIGGER_PR 3
|
|
|
|
/* Mailbox numbers */
|
|
|
|
#define TCTM_MAILBOX 0
|
|
#define ACQUISITION_MAILBOX 1
|
|
|
|
/* ISR source numbers */
|
|
|
|
#define TC_ISR_SOURCE 0
|
|
#define TM_ISR_SOURCE 2
|
|
#define HIT_TRIGGER_ISR_SOURCE 5
|
|
|
|
#endif
|
|
|