Subversion Repositories shark

Rev

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

Rev Author Line No. Line
1128 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
 
1139 giacomo 38
/*
39
 * CVS :        $Id: initfile.c,v 1.2 2003-03-20 13:34:37 giacomo Exp $
40
 *
41
 * File:        $File$
42
 * Revision:    $Revision: 1.2 $
43
 * Last update: $Date: 2003-03-20 13:34:37 $
44
 */
45
 
1128 giacomo 46
#include "kernel/kern.h"
47
#include "modules/edf.h"
1139 giacomo 48
#include "modules/rr.h"
1128 giacomo 49
#include "modules/cbs.h"
50
#include "modules/dummy.h"
51
 
52
#include "modules/sem.h"
53
#include "modules/hartport.h"
54
#include "modules/cabs.h"
1139 giacomo 55
#include "modules/pi.h"
56
#include "modules/pc.h"
57
#include "modules/srp.h"
58
#include "modules/npp.h"
59
#include "modules/nop.h"
60
#include "modules/nopm.h"
1128 giacomo 61
 
1139 giacomo 62
#include "fs/bdevinit.h"
63
#include "fs/fsinit.h"
64
#include "fs/bdev.h"
65
 
1128 giacomo 66
#include "drivers/keyb.h"
67
 
68
/*+ sysyem tick in us +*/
1139 giacomo 69
#define TICK 1000
1128 giacomo 70
 
71
/*+ RR tick in us +*/
72
#define RRTICK 10000
73
 
1139 giacomo 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");
115
    sys_end();
116
    return -1;
117
  }
118
 
119
  return 0;
120
 
121
}
122
 
123
int __fs_sub_init(void)
124
{
125
  extern int libc_initialize(void);
126
  FILESYSTEM_PARMS fs=BASE_FILESYSTEM;
127
 
128
  filesystem_def_rootdevice(fs,root_device);
129
  filesystem_def_fs(fs,FS_MSDOS);
130
  filesystem_def_showinfo(fs,FALSE);
131
  filesystem_init(&fs);
132
 
133
  libc_initialize();
134
 
135
  return 0;
136
}
137
 
1128 giacomo 138
TIME __kernel_register_levels__(void *arg)
139
{
140
  struct multiboot_info *mb = (struct multiboot_info *)arg;
1139 giacomo 141
  extern int __register_sub_init(void);
1128 giacomo 142
 
143
  EDF_register_level(EDF_ENABLE_ALL);
1139 giacomo 144
  RR_register_level(RRTICK, RR_MAIN_YES, mb);
1128 giacomo 145
  CBS_register_level(CBS_ENABLE_ALL, 0);
146
  dummy_register_level();
147
 
148
  SEM_register_module();
149
 
150
  CABS_register_module();
151
 
1139 giacomo 152
  PI_register_module();
153
  PC_register_module();
154
  NPP_register_module();
155
  SRP_register_module();
156
  NOP_register_module();
157
  NOPM_register_module();
158
 
159
  __register_sub_init();
160
 
1128 giacomo 161
  return TICK;
162
}
163
 
164
TASK __init__(void *arg)
165
{
166
  struct multiboot_info *mb = (struct multiboot_info *)arg;
1139 giacomo 167
  KEYB_PARMS    keyb = BASE_KEYB;
168
  extern int __bdev_sub_init(void);
169
  extern int __fs_sub_init(void);
170
 
1128 giacomo 171
  HARTPORT_init();
1139 giacomo 172
 
173
  KEYB_init(&keyb);
1128 giacomo 174
 
1139 giacomo 175
  __bdev_sub_init();
176
  __fs_sub_init();
177
 
1128 giacomo 178
  __call_main__(mb);
179
 
180
  return (void *)0;
181
}
182