Subversion Repositories shark

Rev

Rev 1411 | Rev 1569 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
1295 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     :
1353 giacomo 9
 *   Giacomo Guidi       <giacomo@gandalf.sssup.it>
1295 giacomo 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
#include "kernel/kern.h"
1552 pj 20
#include "edf/edf/edf.h"
21
#include "cbs/cbs/cbs.h"
22
#include "rr/rr/rr.h"
23
#include "dummy/dummy/dummy.h"
1295 giacomo 24
 
1552 pj 25
#include "sem/sem/sem.h"
26
#include "hartport/hartport/hartport.h"
27
#include "cabs/cabs/cabs.h"
1295 giacomo 28
 
29
/*+ sysyem tick in us +*/
30
#define TICK 0
31
 
32
/*+ RR tick in us +*/
33
#define RRTICK 10000
34
 
35
TIME __kernel_register_levels__(void *arg)
36
{
37
  struct multiboot_info *mb = (struct multiboot_info *)arg;
38
 
39
  EDF_register_level(EDF_ENABLE_ALL);
40
  CBS_register_level(CBS_ENABLE_ALL, 0);
41
  RR_register_level(RRTICK, RR_MAIN_YES, mb);
42
  dummy_register_level();
43
 
44
  SEM_register_module();
45
 
46
  CABS_register_module();
47
 
48
  return TICK;
49
}
50
 
51
TASK __init__(void *arg)
52
{
53
  struct multiboot_info *mb = (struct multiboot_info *)arg;
54
 
55
  HARTPORT_init();
56
 
57
  __call_main__(mb);
58
 
59
  return (void *)0;
60
}
61