36,11 → 36,11 |
*/ |
|
/* |
* CVS : $Id: initfile.c,v 1.1 2003-03-20 13:26:45 giacomo Exp $ |
* CVS : $Id: initfile.c,v 1.2 2003-03-20 14:59:20 giacomo Exp $ |
* |
* File: $File$ |
* Revision: $Revision: 1.1 $ |
* Last update: $Date: 2003-03-20 13:26:45 $ |
* Revision: $Revision: 1.2 $ |
* Last update: $Date: 2003-03-20 14:59:20 $ |
*/ |
|
#include "kernel/kern.h" |
138,11 → 138,8 |
TIME __kernel_register_levels__(void *arg) |
{ |
struct multiboot_info *mb = (struct multiboot_info *)arg; |
extern int __register_sub_init_prologue(void); |
extern int __register_sub_init(void); |
|
//__register_sub_init_prologue(); |
|
EDF_register_level(EDF_ENABLE_ALL); |
RR_register_level(RRTICK, RR_MAIN_YES, mb); |
CBS_register_level(CBS_ENABLE_ALL, 0); |
170,7 → 167,6 |
KEYB_PARMS keyb = BASE_KEYB; |
extern int __bdev_sub_init(void); |
extern int __fs_sub_init(void); |
extern void ctrlc_exit(KEY_EVT *k); |
|
HARTPORT_init(); |
|