Subversion Repositories shark

Rev

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

Rev Author Line No. Line
1331 giacomo 1
/*
2
 * Project: HARTIK (HA-rd R-eal TI-me K-ernel)
3
 *
4
 * Coordinators: Giorgio Buttazzo <giorgio@sssup.it>
5
 *               Gerardo Lamastra <gerardo@sssup.it>
6
 *
1359 giacomo 7
 * Authors     : Mauro Marinoni   <mauro.marinoni@unipv.it>
8
 *               Giacomo Guidi    <giacomo@gandalf.sssup.it>
1331 giacomo 9
 * (see authors.txt for full list of hartik's authors)
10
 *
11
 * ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy)
12
 *
13
 * http://www.sssup.it
14
 * http://retis.sssup.it
15
 * http://hartik.sssup.it
16
 */
17
 
18
#include "chimera.h"
19
#include "modules/edf.h"
1332 giacomo 20
#include "modules/hardcbs.h"
1331 giacomo 21
#include "modules/rr.h"
22
#include "modules/dummy.h"
1359 giacomo 23
#include "modules/intdrive.h"
1331 giacomo 24
 
1390 mauro 25
#include <drivers/keyb.h>
1359 giacomo 26
 
1331 giacomo 27
/*+ sysyem tick in us +*/
28
#define TICK 1000
29
 
30
/*+ RR tick in us +*/
1332 giacomo 31
#define RRTICK 10000
1331 giacomo 32
 
1359 giacomo 33
#define INTDRIVE_Q 1000
34
#define INTDRIVE_T 10000
35
#define INTDRIVE_FLAGS 0
1331 giacomo 36
 
37
int main(int argc, char **argv);
38
 
39
TIME __kernel_register_levels__(void *arg)
40
{
41
        struct multiboot_info *mb = (struct multiboot_info *)arg;
42
 
43
        EDF_register_level(EDF_ENABLE_ALL);
1390 mauro 44
        HCBS_register_level(HCBS_ENABLE_ALL, 0);
1331 giacomo 45
        RR_register_level(RRTICK, RR_MAIN_YES, mb);
46
        dummy_register_level();
47
 
48
        SEM_register_module();
49
 
50
        return TICK;
51
}
52
 
53
TASK __init__(void *arg)
54
{
55
        struct multiboot_info *mb = (struct multiboot_info *)arg;
56
 
57
        KEYB_PARMS kparms = BASE_KEYB;
58
 
59
        HARTPORT_init();
60
 
1390 mauro 61
        KEYB_init(&kparms);
1331 giacomo 62
 
63
        __call_main__(mb);
64
 
65
        return (void *)0;
66
}