Rev 462 |
Rev 513 |
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);
unsigned long read_time(void) {
return kern_gettime(NULL);
}
void do_rescheduler(void) {
event_need_reschedule();
}
/* Init the Emulation Library */
int LINUXC26_register_module() {
printk("LINUXC26_register_module\n");
devices_init();
buses_init();
classes_init();
return 0;
}