int main( void ) { lift_init(); lift_main(); return ( lift_return() ); }
int main(void) { /* initialise kernel */ si_kernel_init(); /* initialise message handling */ si_message_init(); /* set up random number generator */ srand(12345); /* initialise UI channel */ si_ui_init(); /* set size of GUI window */ si_ui_set_size(670, 700); /* initialise variables */ lift_init(mainlift); /* create tasks */ /* create tasks */ si_task_create( lift_task, &Lift_Stack[STACK_SIZE - 1], LIFT_PRIORITY); Lift_Task_Id = 1; si_task_create( move_lift_task, &Move_Lift_Stack[STACK_SIZE - 1], MOVE_LIFT_PRIORITY); Move_Lift_Task_Id = 2; si_task_create( user_task, &User_Stack[STACK_SIZE - 1], USER_PRIORITY); User_Task_Id = 3; Lowest_Passenger_Task_Id = TASK_ID_FIRST_PERSON; /* start the kernel */ si_kernel_start(); /* will never be here! */ return 0; }