Subversion Repositories shark

Rev

Rev 1550 | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
1138 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
 * Copyright (C) 2000 Paolo Gai
21
 *
22
 * This program is free software; you can redistribute it and/or modify
23
 * it under the terms of the GNU General Public License as published by
24
 * the Free Software Foundation; either version 2 of the License, or
25
 * (at your option) any later version.
26
 *
27
 * This program is distributed in the hope that it will be useful,
28
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
29
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
30
 * GNU General Public License for more details.
31
 *
32
 * You should have received a copy of the GNU General Public License
33
 * along with this program; if not, write to the Free Software
34
 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
35
 *
36
 */
37
 
38
/*
1552 pj 39
 * CVS :        $Id: initfile.c,v 1.4 2005-02-25 11:06:56 pj Exp $
1138 giacomo 40
 *
41
 * File:        $File$
1552 pj 42
 * Revision:    $Revision: 1.4 $
43
 * Last update: $Date: 2005-02-25 11:06:56 $
1138 giacomo 44
 */
45
 
46
#include "kernel/kern.h"
1552 pj 47
#include "edf/edf/edf.h"
48
#include "rr/rr/rr.h"
49
#include "cbs/cbs/cbs.h"
50
#include "dummy/dummy/dummy.h"
1138 giacomo 51
 
1552 pj 52
#include "sem/sem/sem.h"
53
#include "hartport/hartport/hartport.h"
54
#include "cabs/cabs/cabs.h"
55
#include "pi/pi/pi.h"
56
#include "pc/pc/pc.h"
57
#include "srp/srp/srp.h"
58
#include "npp/npp/npp.h"
59
#include "nop/nop/nop.h"
60
#include "nopm/nopm/nopm.h"
1138 giacomo 61
 
62
#include "fs/bdevinit.h"
63
#include "fs/fsinit.h"
64
#include "fs/bdev.h"
65
 
66
#include "drivers/keyb.h"
67
 
68
/*+ sysyem tick in us +*/
69
#define TICK 1000
70
 
71
/*+ RR tick in us +*/
72
#define RRTICK 10000
73
 
74
dev_t root_device=-1;
75
dev_t temp_device=-1;
76
 
77
int __register_sub_init(void)
78
{
79
#if defined(EDFSCHED)
80
  extern void BD_EDF_register_module(void);
81
  BD_EDF_register_module();
82
#elif defined(PSCANSCHED)
83
  extern void BD_PSCAN_register_module(void);
84
  BD_PSCAN_register_module();  
85
#endif
86
  return 0;
87
}
88
 
89
int choose_root_callback(dev_t dev,u_int8_t fs)
90
{
91
  if (fs==FS_MSDOS) return dev;
92
  return -1;
93
}
94
 
95
int choose_temp_callback(__dev_t dev,__uint8_t fs)
96
{
97
  static int flag=0;
98
  if (fs==FS_MSDOS) {
99
    if (flag) return dev;
100
    flag=1;
101
  }
102
  return -1;
103
}
104
 
105
int __bdev_sub_init(void)
106
{
107
  BDEV_PARMS bdev=BASE_BDEV;
108
 
109
  bdev_def_showinfo(bdev,FALSE);
110
  bdev_init(&bdev);
111
 
112
  root_device=bdev_scan_devices(choose_root_callback);
113
  if (root_device<0) {
114
    cprintf("can't find root device to mount on /!!!\n");
1550 pj 115
    exit(1);
1138 giacomo 116
  }
117
 
118
  return 0;
119
 
120
}
121
 
122
int __fs_sub_init(void)
123
{
124
  extern int libc_initialize(void);
125
  FILESYSTEM_PARMS fs=BASE_FILESYSTEM;
126
 
127
  filesystem_def_rootdevice(fs,root_device);
128
  filesystem_def_fs(fs,FS_MSDOS);
129
  filesystem_def_showinfo(fs,FALSE);
130
  filesystem_init(&fs);
131
 
132
  libc_initialize();
133
 
134
  return 0;
135
}
136
 
137
TIME __kernel_register_levels__(void *arg)
138
{
139
  struct multiboot_info *mb = (struct multiboot_info *)arg;
140
  extern int __register_sub_init(void);
141
 
142
  EDF_register_level(EDF_ENABLE_ALL);
143
  RR_register_level(RRTICK, RR_MAIN_YES, mb);
144
  CBS_register_level(CBS_ENABLE_ALL, 0);
145
  dummy_register_level();
146
 
147
  SEM_register_module();
148
 
149
  CABS_register_module();
150
 
151
  PI_register_module();
152
  PC_register_module();
153
  NPP_register_module();
154
  SRP_register_module();
155
  NOP_register_module();
156
  NOPM_register_module();
157
 
158
  __register_sub_init();
159
 
160
  return TICK;
161
}
162
 
163
TASK __init__(void *arg)
164
{
165
  struct multiboot_info *mb = (struct multiboot_info *)arg;
166
  KEYB_PARMS    keyb = BASE_KEYB;
167
  extern int __bdev_sub_init(void);
168
  extern int __fs_sub_init(void);
169
 
170
  HARTPORT_init();
171
 
172
  KEYB_init(&keyb);
173
 
174
  __bdev_sub_init();
175
  __fs_sub_init();
176
 
177
  __call_main__(mb);
178
 
179
  return (void *)0;
180
}
181