Subversion Repositories shark

Rev

Details | Last modification | View Log | RSS feed

Rev Author Line No. Line
1658 giacomo 1
/*
2
 * Project: S.Ha.R.K.
3
 *
4
 * Coordinators:
5
 *   Giorgio Buttazzo    <giorgio@sssup.it>
6
 *   Paolo Gai           <pj@gandalf.sssup.it>
7
 *
8
 * Authors     :
9
 *   Paolo Gai           <pj@gandalf.sssup.it>
10
 *   (see the web pages for full authors list)
11
 *
12
 * ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy)
13
 *
14
 * http://www.sssup.it
15
 * http://retis.sssup.it
16
 * http://shark.sssup.it
17
 */
18
 
19
/**
20
 ------------
21
 CVS :        $Id: initcash.c,v 1.1 2004-06-01 11:42:41 giacomo Exp $
22
 
23
 File:        $File$
24
 Revision:    $Revision: 1.1 $
25
 Last update: $Date: 2004-06-01 11:42:41 $
26
 ------------
27
 
28
 System initialization file
29
 
30
 The tick is set to TICK ms.
31
 
32
 This file contains the 2 functions needed to initialize the system.
33
 
34
 These functions register the following levels:
35
 
36
 an EDF   (Earliest Deadline First) level
37
 a  RR    (Round Robin) level
38
 a  CBSHD (Constant Bandwidth Server with Hard Deadlines) level
39
 a  Dummy level
40
 
41
 
42
 
43
 
44
 It can accept these task models (into () the mandatory fields):
45
 
46
 HARD_TASK_MODEL (wcet+mit) at level 0
47
 NRT_TASK_MODEL  at level 1
48
 ELASTIC_HARD_TASK_MODEL (cnormal,period,wcet,maxperiod) at level 5
49
 
50
**/
51
 
52
/*
53
 * Copyright (C) 2000 Paolo Gai
54
 *
55
 * This program is free software; you can redistribute it and/or modify
56
 * it under the terms of the GNU General Public License as published by
57
 * the Free Software Foundation; either version 2 of the License, or
58
 * (at your option) any later version.
59
 *
60
 * This program is distributed in the hope that it will be useful,
61
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
62
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
63
 * GNU General Public License for more details.
64
 *
65
 * You should have received a copy of the GNU General Public License
66
 * along with this program; if not, write to the Free Software
67
 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
68
 *
69
 */
70
 
71
 
72
 
73
#include "kernel/kern.h"
74
#include "modules/edf.h"
75
#include "modules/rr.h"
76
#include "modules/tbs.h"
77
#include "modules/cbs.h" 
78
#include "cash.h"
79
#include "modules/dummy.h"
80
#include "modules/sem.h"
81
#include "modules/hartport.h"
82
#include "drivers/keyb.h"
83
 
84
 
85
/*+ sysyem tick in us +*/
86
#define TICK      300
87
 
88
#define RRTICK    5000
89
 
90
 
91
TIME __kernel_register_levels__(void *arg)
92
{
93
  struct multiboot_info *mb = (struct multiboot_info *)arg;
94
 
95
  EDF_register_level(EDF_ENABLE_ALL);
96
  CBSGHD_register_level(CBSGHD_ENABLE_ALL, 0);  
97
  RR_register_level(RRTICK, RR_MAIN_YES, mb);
98
  /* CBS_register_level(CBS_ENABLE_ALL, 0);  */
99
  //CBSHD_register_level(CBSHD_ENABLE_ALL, 0);
100
  dummy_register_level();
101
 
102
  SEM_register_module();
103
 
104
  return TICK;
105
}
106
 
107
TASK __init__(void *arg)
108
{
109
  struct multiboot_info *mb = (struct multiboot_info *)arg;
110
 
111
  HARTPORT_init();
112
 
113
  KEYB_init(NULL);
114
 
115
  __call_main__(mb);
116
 
117
  return (void *)0;
118
}
119
 
120
 
121
 
122
 
123
 
124
 
125
 
126
 
127
 
128