Rev 468 |
Rev 956 |
Go to most recent revision |
Blame |
Compare with Previous |
Last modification |
View Log
| RSS feed
/*
* Project: S.Ha.R.K.
*
* Coordinators:
* Giorgio Buttazzo <giorgio@sssup.it>
* Paolo Gai <pj@gandalf.sssup.it>
*
* Authors :
* Giacomo Guidi <giacomo@gandalf.sssup.it>
*
*
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy)
*
* http://www.sssup.it
* http://retis.sssup.it
* http://shark.sssup.it
*/
/* Linux 2.6 Emulation Library */
#include <kernel/kern.h>
extern int devices_init(void);
extern int buses_init(void);
extern int classes_init(void);
extern int linuxcomp_init(void);
extern int shark_interrupt_server(void);
unsigned long read_time(void) {
return kern_gettime(NULL);
}
void do_rescheduler(void) {
event_need_reschedule();
}
/* Init the Emulation Library */
int LINUXC26_register_module() {
int res;
printk("LINUXC26_register_module\n");
linuxcomp_init();
devices_init();
buses_init();
classes_init();
res = shark_interrupt_server();
if (res != 0) {
printk("ERROR: CANNOT REGISTER LINUX COMPATIBILITY LAYER\n");
sys_end();
}
return 0;
}