os20_init.c

本程序为ST公司开发的源代码

/*
 * os20_init.c
 *
 * Copyright (C) STMicroelectronics Ltd. 2000
 *
 * OS20 Initialization source file
 */
 
/*include files for OS20 & ACCORDO+*/
#include "timei.h"

/* Statically allocating of all the OS20 objects (no XXXX_create() fns) */
/* hence no system partition needs to be allocated */
partition_t *system_partition = NULL;
partition_t *internal_partition = NULL;

static __align(8) unsigned char userInterruptHandlerStack[1024];

//BB static task_t idleTask;
//BB static unsigned char idleTaskStack[128];
//BB extern void idle_task(void*);



extern int USR_STACK_Top_Ptr;
extern int USR_STACK_Limit_Ptr;
extern int USR_STACK_Length;

void os20_start(void)
{
    #if (OS20_PROFILING == 1)
     profile_init();
    #endif 
    
	interrupt_init_controller(userInterruptHandlerStack, sizeof(userInterruptHandlerStack));

	kernel_initialize();

	kernel_start( (void *)USR_STACK_Limit_Ptr , USR_STACK_Length );

//BB 	task_init(idle_task, NULL, idleTaskStack, sizeof(idleTaskStack), &idleTask, NULL, MIN_USER_PRIORITY, "idle task", 0);	
}