/demos/trunk/newtrace/instr/initfile.c |
---|
3,9 → 3,7 |
* |
* Coordinators: Giorgio Buttazzo <giorgio@sssup.it> |
* |
* Authors : |
* Mauro Marinoni <mauro.marinoni@unipv.it> |
* Tullio Facchinetti <tullio.facchinetti@unipv.it> |
* Authors : Mauro Marinoni <mauro.marinoni@unipv.it> |
* (see authors.txt for full list of hartik's authors) |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
/demos/trunk/newtrace/initfile/initfile.c |
---|
4,9 → 4,7 |
* Coordinators: Giorgio Buttazzo <giorgio@sssup.it> |
* Gerardo Lamastra <gerardo@sssup.it> |
* |
* Authors : |
* Giacomo Guidi <giacomo@gandalf.sssup.it> |
* Tullio Facchinetti <tullio.facchinetti@unipv.it> |
* Authors : Giacomo Guidi <giacomo@gandalf.sssup.it> |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
* |
/demos/trunk/newtrace/udp/initfile.c |
---|
3,9 → 3,7 |
* |
* Coordinators: Giorgio Buttazzo <giorgio@sssup.it> |
* |
* Authors : |
* Mauro Marinoni <mauro.marinoni@unipv.it> |
* Tullio Facchinetti <tullio.facchinetti@unipv.it> |
* Authors : Mauro Marinoni <mauro.marinoni@unipv.it> |
* (see authors.txt for full list of hartik's authors) |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
/demos/trunk/newtrace/nosave/initfile.c |
---|
7,7 → 7,6 |
* |
* Authors : |
* Giacomo Guidi <giacomo@gandalf.sssup.it> |
* Tullio Facchinetti <tullio.facchinetti@unipv.it> |
* (see the web pages for full authors list) |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
36,10 → 35,9 |
TIME __kernel_register_levels__(void *arg) |
{ |
struct multiboot_info *mb = (struct multiboot_info *)arg; |
LEVEL EDF_level; |
EDF_level = EDF_register_level(EDF_ENABLE_ALL); |
CBS_register_level(CBS_ENABLE_ALL, EDF_level); |
EDF_register_level(EDF_ENABLE_ALL); |
CBS_register_level(CBS_ENABLE_ALL, 0); |
RR_register_level(RRTICK, RR_MAIN_YES, mb); |
dummy_register_level(); |
/demos/trunk/orbit/initfile.c |
---|
7,7 → 7,6 |
* |
* Authors : |
* Giacomo Guidi <giacomo@gandalf.sssup.it> |
* Tullio Facchinetti <tullio.facchinetti@unipv.it> |
* (see the web pages for full authors list) |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
61,7 → 60,7 |
/*+ Interrupt Server +*/ |
#define INTDRIVE_Q 1000 |
#define INTDRIVE_U 0.1*MAX_BANDWIDTH |
#define INTDRIVE_U 1000 |
#define INTDRIVE_FLAG 0 |
void call_shutdown_task(void *arg); |
75,11 → 74,10 |
TIME __kernel_register_levels__(void *arg) |
{ |
struct multiboot_info *mb = (struct multiboot_info *)arg; |
LEVEL EDF_level; |
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_Q, INTDRIVE_U, INTDRIVE_FLAG); |
EDF_level = EDF_register_level(EDF_ENABLE_ALL); |
HCBS_register_level(HCBS_ENABLE_ALL, EDF_level); |
EDF_register_level(EDF_ENABLE_ALL); |
HCBS_register_level(HCBS_ENABLE_ALL, 1); |
RR_register_level(RRTICK, RR_MAIN_YES, mb); |
dummy_register_level(); |
/demos/trunk/bttvdemo/initfile.c |
---|
5,10 → 5,6 |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
* |
* Authors: |
* ... |
* Tullio Facchinetti <tullio.facchinetti@unipv.it> |
* |
* http://www.sssup.it |
* http://retis.sssup.it |
* http://hartik.sssup.it |
44,7 → 40,7 |
/*+ Interrup Server */ |
#define INTDRIVE_Q 1000 |
#define INTDRIVE_U 0.1*MAX_BANDWIDTH |
#define INTDRIVE_U 1000 |
#define INTDRIVE_FLAG 0 |
void call_shutdown_task(void *arg); |
58,11 → 54,10 |
TIME __kernel_register_levels__(void *arg) |
{ |
struct multiboot_info *mb = (struct multiboot_info *)arg; |
LEVEL EDF_level; |
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_Q, INTDRIVE_U, INTDRIVE_FLAG); |
EDF_level = EDF_register_level(EDF_ENABLE_ALL); |
CBS_register_level(CBS_ENABLE_ALL, EDF_level); |
EDF_register_level(EDF_ENABLE_ALL); |
CBS_register_level(CBS_ENABLE_ALL, 1); |
RR_register_level(RRTICK, RR_MAIN_YES, mb); |
dummy_register_level(); |
/demos/trunk/bca/initfile.c |
---|
7,7 → 7,6 |
* |
* Authors : |
* Giacomo Guidi <giacomo@gandalf.sssup.it> |
* Tullio Facchinetti <tullio.facchinetti@unipv.it> |
* (see the web pages for full authors list) |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
68,7 → 67,7 |
/*+ Interrupt Server +*/ |
#define INTDRIVE_Q 1000 |
#define INTDRIVE_U 0.1*MAX_BANDWIDTH |
#define INTDRIVE_U 1000 |
#define INTDRIVE_FLAG 0 |
void call_shutdown_task(void *arg); |
82,11 → 81,10 |
TIME __kernel_register_levels__(void *arg) |
{ |
struct multiboot_info *mb = (struct multiboot_info *)arg; |
LEVEL EDF_level; |
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_Q, INTDRIVE_U, INTDRIVE_FLAG); |
EDF_level = EDF_register_level(EDF_ENABLE_ALL); |
HCBS_register_level(HCBS_ENABLE_ALL, EDF_level); |
EDF_register_level(EDF_ENABLE_ALL); |
HCBS_register_level(HCBS_ENABLE_ALL, 1); |
RR_register_level(RRTICK, RR_MAIN_YES, mb); |
dummy_register_level(); |
/demos/trunk/first/initfile.c |
---|
7,7 → 7,6 |
* |
* Authors : |
* Giacomo Guidi <giacomo@gandalf.sssup.it> |
* Tullio Facchinetti <tullio.facchinetti@unipv.it> |
* (see the web pages for full authors list) |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
61,7 → 60,7 |
/*+ Interrupt Server +*/ |
#define INTDRIVE_Q 1000 |
#define INTDRIVE_U 0.1*MAX_BANDWIDTH |
#define INTDRIVE_U 1000 |
#define INTDRIVE_FLAG 0 |
void call_shutdown_task(void *arg); |
151,7 → 150,7 |
FSF_register_module(posix_level,grubstar_level, (int)(MAX_BANDWIDTH*0.8)); |
dummy_register_level(); |
CBS_register_level(CBS_ENABLE_ALL,edf_level); |
CBS_register_level(CBS_ENABLE_ALL,1); |
SEM_register_module(); |
/demos/trunk/astro/initfile.c |
---|
5,10 → 5,6 |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
* |
* Authors: |
* ... |
* Tullio Facchinetti <tullio.facchinetti@unipv.it> |
* |
* http://www.sssup.it |
* http://retis.sssup.it |
* http://hartik.sssup.it |
40,7 → 36,7 |
/*+ Interrup Server */ |
#define INTDRIVE_Q 1000 |
#define INTDRIVE_U 0.1*MAX_BANDWIDTH |
#define INTDRIVE_U 1000 |
#define INTDRIVE_FLAG 0 |
void call_shutdown_task(void *arg); |
54,12 → 50,9 |
TIME __kernel_register_levels__(void *arg) |
{ |
struct multiboot_info *mb = (struct multiboot_info *)arg; |
LEVEL EDF_level; |
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_Q, INTDRIVE_U, INTDRIVE_FLAG); |
EDF_level = EDF_register_level(EDF_ENABLE_ALL); |
HCBS_register_level(HCBS_ENABLE_ALL, EDF_level); |
EDF_register_level(EDF_ENABLE_ALL); |
HCBS_register_level(HCBS_ENABLE_ALL, 1); |
RR_register_level(RRTICK, RR_MAIN_YES, mb); |
dummy_register_level(); |
/demos/trunk/network/initfile.c |
---|
3,9 → 3,7 |
* |
* Coordinators: Giorgio Buttazzo <giorgio@sssup.it> |
* |
* Authors : |
* Mauro Marinoni <mauro.marinoni@unipv.it> |
* Tullio Facchinetti <tullio.facchinetti@unipv.it> |
* Authors : Mauro Marinoni <mauro.marinoni@unipv.it> |
* (see authors.txt for full list of hartik's authors) |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
56,7 → 54,7 |
/*+ Interrupt Server +*/ |
#define INTDRIVE_Q 1000 |
#define INTDRIVE_U 0.1*MAX_BANDWIDTH |
#define INTDRIVE_U 1000 |
#define INTDRIVE_FLAG 0 |
void call_shutdown_task(void *arg); |
70,11 → 68,10 |
TIME __kernel_register_levels__(void *arg) |
{ |
struct multiboot_info *mb = (struct multiboot_info *)arg; |
LEVEL EDF_level; |
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_Q, INTDRIVE_U, INTDRIVE_FLAG); |
EDF_level = EDF_register_level(EDF_ENABLE_ALL); |
CBS_register_level(CBS_ENABLE_ALL, EDF_level); |
EDF_register_level(EDF_ENABLE_ALL); |
CBS_register_level(CBS_ENABLE_ALL, 1); |
RR_register_level(RRTICK, RR_MAIN_YES, mb); |
dummy_register_level(); |
/demos/trunk/sharkDecoderWithFSF/initfile.c |
---|
7,7 → 7,6 |
* |
* Authors : |
* Giacomo Guidi <giacomo@gandalf.sssup.it> |
* Tullio Facchinetti <tullio.facchinetti@unipv.it> |
* (see the web pages for full authors list) |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
62,7 → 61,7 |
/*+ Interrupt Server +*/ |
#define INTDRIVE_Q 1000 |
#define INTDRIVE_U 0.1*MAX_BANDWIDTH |
#define INTDRIVE_U 1000 |
#define INTDRIVE_FLAG 0 |
void call_shutdown_task(void *arg); |
156,7 → 155,7 |
FSF_register_module(posix_level,grubstar_level, (int)(MAX_BANDWIDTH*0.8)); |
dummy_register_level(); |
CBS_register_level(CBS_ENABLE_ALL,edf_level); |
CBS_register_level(CBS_ENABLE_ALL,1); |
SEM_register_module(); |
/demos/trunk/mesademo/initfile.c |
---|
7,7 → 7,6 |
* |
* Authors : |
* Giacomo Guidi <giacomo@gandalf.sssup.it> |
* Tullio Facchinetti <tullio.facchinetti@unipv.it> |
* (see the web pages for full authors list) |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
62,7 → 61,7 |
/*+ Interrupt Server +*/ |
#define INTDRIVE_Q 1000 |
#define INTDRIVE_U 0.1*MAX_BANDWIDTH |
#define INTDRIVE_U 1000 |
#define INTDRIVE_FLAG 0 |
void call_shutdown_task(void *arg); |
76,11 → 75,10 |
TIME __kernel_register_levels__(void *arg) |
{ |
struct multiboot_info *mb = (struct multiboot_info *)arg; |
LEVEL EDF_level; |
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_Q, INTDRIVE_U, INTDRIVE_FLAG); |
EDF_level = EDF_register_level(EDF_ENABLE_ALL); |
HCBS_register_level(HCBS_ENABLE_ALL, EDF_level); |
EDF_register_level(EDF_ENABLE_ALL); |
HCBS_register_level(HCBS_ENABLE_ALL, 1); |
RR_register_level(RRTICK, RR_MAIN_YES, mb); |
dummy_register_level(); |
/demos/trunk/mix/initfile.c |
---|
7,7 → 7,6 |
* |
* Authors : |
* Giacomo Guidi <giacomo@gandalf.sssup.it> |
* Tullio Facchinetti <tullio.facchinetti@unipv.it> |
* (see the web pages for full authors list) |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
61,7 → 60,7 |
/*+ Interrupt Server +*/ |
#define INTDRIVE_Q 1000 |
#define INTDRIVE_U 0.1*MAX_BANDWIDTH |
#define INTDRIVE_U 1000 |
#define INTDRIVE_FLAG 0 |
void call_shutdown_task(void *arg); |
75,11 → 74,10 |
TIME __kernel_register_levels__(void *arg) |
{ |
struct multiboot_info *mb = (struct multiboot_info *)arg; |
LEVEL EDF_level; |
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_Q, INTDRIVE_U, INTDRIVE_FLAG); |
EDF_level = EDF_register_level(EDF_ENABLE_ALL); |
HCBS_register_level(HCBS_ENABLE_ALL, EDF_level); |
EDF_register_level(EDF_ENABLE_ALL); |
HCBS_register_level(HCBS_ENABLE_ALL, 1); |
RR_register_level(RRTICK, RR_MAIN_YES, mb); |
dummy_register_level(); |
/demos/trunk/pci6025e/initfile.c |
---|
7,7 → 7,6 |
* |
* Authors : |
* Giacomo Guidi <giacomo@gandalf.sssup.it> |
* Tullio Facchinetti <tullio.facchinetti@unipv.it> |
* (see the web pages for full authors list) |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
61,7 → 60,7 |
/*+ Interrupt Server +*/ |
#define INTDRIVE_Q 1000 |
#define INTDRIVE_U 0.1*MAX_BANDWIDTH |
#define INTDRIVE_U 1000 |
#define INTDRIVE_FLAG 0 |
void call_shutdown_task(void *arg); |
75,11 → 74,10 |
TIME __kernel_register_levels__(void *arg) |
{ |
struct multiboot_info *mb = (struct multiboot_info *)arg; |
LEVEL EDF_level; |
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_Q, INTDRIVE_U, INTDRIVE_FLAG); |
EDF_level = EDF_register_level(EDF_ENABLE_ALL); |
HCBS_register_level(HCBS_ENABLE_ALL, EDF_level); |
EDF_register_level(EDF_ENABLE_ALL); |
HCBS_register_level(HCBS_ENABLE_ALL, 1); |
RR_register_level(RRTICK, RR_MAIN_YES, mb); |
dummy_register_level(); |
/demos/trunk/servo/initfile.c |
---|
5,10 → 5,6 |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
* |
* Authors: |
* ... |
* Tullio Facchinetti <tullio.facchinetti@unipv.it> |
* |
* http://www.sssup.it |
* http://retis.sssup.it |
* http://hartik.sssup.it |
38,7 → 34,7 |
/*+ Interrupt Server +*/ |
#define INTDRIVE_Q 1000 |
#define INTDRIVE_U 0.1*MAX_BANDWIDTH |
#define INTDRIVE_U 1000 |
#define INTDRIVE_FLAG 0 |
void call_shutdown_task(void *arg); |
52,11 → 48,10 |
TIME __kernel_register_levels__(void *arg) |
{ |
struct multiboot_info *mb = (struct multiboot_info *)arg; |
LEVEL EDF_level; |
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_Q, INTDRIVE_U, INTDRIVE_FLAG); |
EDF_level = EDF_register_level(EDF_ENABLE_ALL); |
CBS_register_level(CBS_ENABLE_ALL, EDF_level); |
EDF_register_level(EDF_ENABLE_ALL); |
CBS_register_level(CBS_ENABLE_ALL, 1); |
RR_register_level(RRTICK, RR_MAIN_YES, mb); |
dummy_register_level(); |
/demos/trunk/cpufreq/initfile.c |
---|
7,7 → 7,6 |
* |
* Authors : |
* Giacomo Guidi <giacomo@gandalf.sssup.it> |
* Tullio Facchinetti <tullio.facchinetti@unipv.it> |
* (see the web pages for full authors list) |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
58,8 → 57,8 |
/*+ IntDrive Server +*/ |
#define INTDRIVE_Q 1000 |
#define INTDRIVE_U 0.1*MAX_BANDWIDTH |
#define INTDRIVE_FLAG 0 |
#define INTDRIVE_U 1000 |
#define INTDRIVE_FLAGS 0 |
void call_shutdown_task(void *arg); |
int device_drivers_init(); |
72,11 → 71,10 |
TIME __kernel_register_levels__(void *arg) |
{ |
struct multiboot_info *mb = (struct multiboot_info *)arg; |
LEVEL EDF_level; |
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_Q, INTDRIVE_U, INTDRIVE_FLAG); |
EDF_level = EDF_register_level(EDF_ENABLE_ALL); |
HCBS_register_level(HCBS_ENABLE_ALL, EDF_level); |
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_Q, INTDRIVE_U, INTDRIVE_FLAGS); |
EDF_register_level(EDF_ENABLE_ALL); |
HCBS_register_level(HCBS_ENABLE_ALL, 1); |
RR_register_level(RRTICK, RR_MAIN_YES, mb); |
dummy_register_level(); |
/demos/trunk/mesatex/initfile.c |
---|
7,7 → 7,6 |
* |
* Authors : |
* Giacomo Guidi <giacomo@gandalf.sssup.it> |
* Tullio Facchinetti <tullio.facchinetti@unipv.it> |
* (see the web pages for full authors list) |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
62,7 → 61,7 |
/*+ Interrupt Server +*/ |
#define INTDRIVE_Q 1000 |
#define INTDRIVE_U 0.1*MAX_BANDWIDTH |
#define INTDRIVE_U 1000 |
#define INTDRIVE_FLAG 0 |
void call_shutdown_task(void *arg); |
76,11 → 75,10 |
TIME __kernel_register_levels__(void *arg) |
{ |
struct multiboot_info *mb = (struct multiboot_info *)arg; |
LEVEL EDF_level; |
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_Q, INTDRIVE_U, INTDRIVE_FLAG); |
EDF_level = EDF_register_level(EDF_ENABLE_ALL); |
HCBS_register_level(HCBS_ENABLE_ALL, EDF_level); |
EDF_register_level(EDF_ENABLE_ALL); |
HCBS_register_level(HCBS_ENABLE_ALL, 1); |
RR_register_level(RRTICK, RR_MAIN_YES, mb); |
dummy_register_level(); |
/demos/trunk/loader/shark/initfile.c |
---|
3,9 → 3,7 |
* |
* Coordinators: Giorgio Buttazzo <giorgio@sssup.it> |
* |
* Authors : |
* Mauro Marinoni <mauro.marinoni@unipv.it> |
* Tullio Facchinetti <tullio.facchinetti@unipv.it> |
* Authors : Mauro Marinoni <mauro.marinoni@unipv.it> |
* (see authors.txt for full list of hartik's authors) |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
65,7 → 63,7 |
/*+ Interrupt Server +*/ |
#define INTDRIVE_Q 1000 |
#define INTDRIVE_U 0.1*MAX_BANDWIDTH |
#define INTDRIVE_U 1000 |
#define INTDRIVE_FLAG 0 |
void call_shutdown_task(void *arg); |
83,10 → 81,9 |
int posix_level; |
int pi_level; |
int pc_level; |
LEVEL EDF_level; |
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_Q, INTDRIVE_U, INTDRIVE_FLAG); |
EDF_level = EDF_register_level(EDF_ENABLE_ALL); |
EDF_register_level(EDF_ENABLE_ALL); |
posix_level=POSIX_register_level(RRTICK, 1, mb, 32); |
grubstar_level = GRUBSTAR_register_level(FSF_MAX_N_SERVERS, 1); |
93,7 → 90,7 |
FSF_register_module(posix_level,grubstar_level, (int)(MAX_BANDWIDTH * 0.8)); |
dummy_register_level(); |
//posix_level=POSIX_register_level(RRTICK, 1, mb, 32); |
CBS_register_level(CBS_ENABLE_ALL,EDF_level); |
CBS_register_level(CBS_ENABLE_ALL,1); |
SEM_register_module(); |
/demos/trunk/jumpball/rrn.c |
---|
7,7 → 7,6 |
* |
* Authors : |
* Paolo Gai <pj@gandalf.sssup.it> |
* Tullio Facchinetti <tullio.facchinetti@unipv.it> |
* (see the web pages for full authors list) |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
19,11 → 18,11 |
/** |
------------ |
CVS : $Id: rrn.c,v 1.9 2006-03-09 14:17:03 tullio Exp $ |
CVS : $Id: rrn.c,v 1.8 2005-05-10 17:21:17 mauro Exp $ |
File: $File$ |
Revision: $Revision: 1.9 $ |
Last update: $Date: 2006-03-09 14:17:03 $ |
Revision: $Revision: 1.8 $ |
Last update: $Date: 2005-05-10 17:21:17 $ |
------------ |
**/ |
75,7 → 74,7 |
/*+ Interrupt Server +*/ |
#define INTDRIVE_Q 1000 |
#define INTDRIVE_U 0.1*MAX_BANDWIDTH |
#define INTDRIVE_U 1000 |
#define INTDRIVE_FLAG 0 |
void call_shutdown_task(void *arg); |
/demos/trunk/jumpball/rrp.c |
---|
7,7 → 7,6 |
* |
* Authors : |
* Paolo Gai <pj@gandalf.sssup.it> |
* Tullio Facchinetti <tullio.facchinetti@unipv.it> |
* (see the web pages for full authors list) |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
19,11 → 18,11 |
/** |
------------ |
CVS : $Id: rrp.c,v 1.9 2006-03-09 14:17:03 tullio Exp $ |
CVS : $Id: rrp.c,v 1.8 2005-05-10 17:21:17 mauro Exp $ |
File: $File$ |
Revision: $Revision: 1.9 $ |
Last update: $Date: 2006-03-09 14:17:03 $ |
Revision: $Revision: 1.8 $ |
Last update: $Date: 2005-05-10 17:21:17 $ |
------------ |
**/ |
75,7 → 74,7 |
/*+ Interrupt Server +*/ |
#define INTDRIVE_Q 1000 |
#define INTDRIVE_U 0.1*MAX_BANDWIDTH |
#define INTDRIVE_U 1000 |
#define INTDRIVE_FLAG 0 |
void call_shutdown_task(void *arg); |
/demos/trunk/jumpball/ern.c |
---|
7,7 → 7,6 |
* |
* Authors : |
* Paolo Gai <pj@gandalf.sssup.it> |
* Tullio Facchinetti <tullio.facchinetti@unipv.it> |
* (see the web pages for full authors list) |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
19,11 → 18,11 |
/** |
------------ |
CVS : $Id: ern.c,v 1.9 2006-03-09 14:17:03 tullio Exp $ |
CVS : $Id: ern.c,v 1.8 2005-05-10 17:21:17 mauro Exp $ |
File: $File$ |
Revision: $Revision: 1.9 $ |
Last update: $Date: 2006-03-09 14:17:03 $ |
Revision: $Revision: 1.8 $ |
Last update: $Date: 2005-05-10 17:21:17 $ |
------------ |
**/ |
76,7 → 75,7 |
/*+ Interrupt Server +*/ |
#define INTDRIVE_Q 1000 |
#define INTDRIVE_U 0.1*MAX_BANDWIDTH |
#define INTDRIVE_U 1000 |
#define INTDRIVE_FLAG 0 |
void call_shutdown_task(void *arg); |
90,10 → 89,8 |
TIME __kernel_register_levels__(void *arg) |
{ |
struct multiboot_info *mb = (struct multiboot_info *)arg; |
LEVEL EDF_level; |
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_Q, INTDRIVE_U, INTDRIVE_FLAG); |
EDF_level = EDF_register_level(EDF_ENABLE_ALL); |
EDF_register_level(EDF_ENABLE_ALL); |
RRSOFT_register_level(RRTICK, RR_MAIN_NO, mb, RRSOFT_ONLY_HARD|RRSOFT_ONLY_SOFT); |
RR_register_level(RRTICK, RR_MAIN_YES, mb); |
/demos/trunk/jumpball/ecp.c |
---|
7,7 → 7,6 |
* |
* Authors : |
* Paolo Gai <pj@gandalf.sssup.it> |
* Tullio Facchinetti <tullio.facchinetti@unipv.it> |
* (see the web pages for full authors list) |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
19,11 → 18,11 |
/** |
------------ |
CVS : $Id: ecp.c,v 1.9 2006-03-09 14:17:03 tullio Exp $ |
CVS : $Id: ecp.c,v 1.8 2005-05-10 17:21:17 mauro Exp $ |
File: $File$ |
Revision: $Revision: 1.9 $ |
Last update: $Date: 2006-03-09 14:17:03 $ |
Revision: $Revision: 1.8 $ |
Last update: $Date: 2005-05-10 17:21:17 $ |
------------ |
**/ |
75,7 → 74,7 |
/*+ Interrupt Server +*/ |
#define INTDRIVE_Q 1000 |
#define INTDRIVE_U 0.1*MAX_BANDWIDTH |
#define INTDRIVE_U 1000 |
#define INTDRIVE_FLAG 0 |
void call_shutdown_task(void *arg); |
89,11 → 88,10 |
TIME __kernel_register_levels__(void *arg) |
{ |
struct multiboot_info *mb = (struct multiboot_info *)arg; |
LEVEL EDF_level; |
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_Q, INTDRIVE_U, INTDRIVE_FLAG); |
EDF_level = EDF_register_level(EDF_ENABLE_ALL); |
CBS_register_level(CBS_ENABLE_ALL, EDF_level); |
EDF_register_level(EDF_ENABLE_ALL); |
CBS_register_level(CBS_ENABLE_ALL, 1); |
RR_register_level(RRTICK, RR_MAIN_YES, mb); |
dummy_register_level(); |
/demos/trunk/base/initfile.c |
---|
5,10 → 5,6 |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
* |
* Authors: |
* ... |
* Tullio Facchinetti <tullio.facchinetti@unipv.it> |
* |
* http://www.sssup.it |
* http://retis.sssup.it |
* http://hartik.sssup.it |
44,7 → 40,7 |
/*+ Interrupt Server +*/ |
#define INTDRIVE_Q 1000 |
#define INTDRIVE_U 0.1*MAX_BANDWIDTH |
#define INTDRIVE_U 1000 |
#define INTDRIVE_FLAG 0 |
void call_shutdown_task(void *arg); |
58,11 → 54,10 |
TIME __kernel_register_levels__(void *arg) |
{ |
struct multiboot_info *mb = (struct multiboot_info *)arg; |
LEVEL EDF_level; |
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_Q, INTDRIVE_U, INTDRIVE_FLAG); |
EDF_level = EDF_register_level(EDF_ENABLE_ALL); |
CBS_register_level(CBS_ENABLE_ALL, EDF_level); |
EDF_register_level(EDF_ENABLE_ALL); |
CBS_register_level(CBS_ENABLE_ALL, 1); |
RR_register_level(RRTICK, RR_MAIN_YES, mb); |
dummy_register_level(); |
/demos/trunk/advtimer/initfile.c |
---|
7,8 → 7,7 |
* |
* Authors : |
* Giacomo Guidi <giacomo@gandalf.sssup.it> |
* Mauro Marinoni <mauro.marinoni@unipv.it> |
* Tullio Facchinetti <tullio.facchinetti@unipv.it> |
* Mauro Marinoni |
* (see the web pages for full authors list) |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
16,7 → 15,6 |
* http://www.sssup.it |
* http://retis.sssup.it |
* http://shark.sssup.it |
* |
*/ |
/* |
60,8 → 58,8 |
/*+ IntDrive Server +*/ |
#define INTDRIVE_Q 1000 |
#define INTDRIVE_U 0.1*MAX_BANDWIDTH |
#define INTDRIVE_FLAG 0 |
#define INTDRIVE_U 1000 |
#define INTDRIVE_FLAGS 0 |
void call_shutdown_task(void *arg); |
int device_drivers_init(); |
74,11 → 72,10 |
TIME __kernel_register_levels__(void *arg) |
{ |
struct multiboot_info *mb = (struct multiboot_info *)arg; |
LEVEL EDF_level; |
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_Q, INTDRIVE_U, INTDRIVE_FLAG); |
EDF_level = EDF_register_level(EDF_ENABLE_ALL); |
HCBS_register_level(HCBS_ENABLE_ALL, EDF_level); |
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_Q, INTDRIVE_U, INTDRIVE_FLAGS); |
EDF_register_level(EDF_ENABLE_ALL); |
HCBS_register_level(HCBS_ENABLE_ALL, 1); |
RR_register_level(RRTICK, RR_MAIN_YES, mb); |
dummy_register_level(); |
/demos/trunk/shutdown/ishut.c |
---|
7,7 → 7,6 |
* |
* Authors : |
* Paolo Gai <pj@gandalf.sssup.it> |
* Tullio Facchinetti <tullio.facchinetti@unipv.it> |
* (see the web pages for full authors list) |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
54,7 → 53,7 |
/*+ Interrupt Server +*/ |
#define INTDRIVE_Q 1000 |
#define INTDRIVE_U 0.1*MAX_BANDWIDTH |
#define INTDRIVE_U 1000 |
#define INTDRIVE_FLAG 0 |
#include <drivers/shark_linuxc26.h> |
74,11 → 73,11 |
TIME __kernel_register_levels__(void *arg) |
{ |
struct multiboot_info *mb = (struct multiboot_info *)arg; |
LEVEL EDF_level; |
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_Q, INTDRIVE_U, INTDRIVE_FLAG); |
EDF_level = EDF_register_level(EDF_ENABLE_ALL); |
CBS_register_level(CBS_ENABLE_ALL, EDF_level); |
EDF_register_level(EDF_ENABLE_ALL); |
RR_register_level(RRTICK, RR_MAIN_YES, mb); |
CBS_register_level(CBS_ENABLE_ALL, 1); |
dummy_register_level(); |
/demos/trunk/tftptest/initfile.c |
---|
3,9 → 3,7 |
* |
* Coordinators: Giorgio Buttazzo <giorgio@sssup.it> |
* |
* Authors : |
* Mauro Marinoni <mauro.marinoni@unipv.it> |
* Tullio Facchinetti <tullio.facchinetti@unipv.it> |
* Authors : Mauro Marinoni <mauro.marinoni@unipv.it> |
* (see authors.txt for full list of hartik's authors) |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
56,7 → 54,7 |
/*+ Interrupt Server +*/ |
#define INTDRIVE_Q 1000 |
#define INTDRIVE_U 0.1*MAX_BANDWIDTH |
#define INTDRIVE_U 1000 |
#define INTDRIVE_FLAG 0 |
void call_shutdown_task(void *arg); |
70,11 → 68,10 |
TIME __kernel_register_levels__(void *arg) |
{ |
struct multiboot_info *mb = (struct multiboot_info *)arg; |
LEVEL EDF_level; |
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_Q, INTDRIVE_U, INTDRIVE_FLAG); |
EDF_level = EDF_register_level(EDF_ENABLE_ALL); |
CBS_register_level(CBS_ENABLE_ALL, EDF_level); |
EDF_register_level(EDF_ENABLE_ALL); |
CBS_register_level(CBS_ENABLE_ALL, 1); |
RR_register_level(RRTICK, RR_MAIN_YES, mb); |
dummy_register_level(); |
/demos/trunk/pngdemo/initfile.c |
---|
7,7 → 7,6 |
* |
* Authors : |
* Paolo Gai <pj@gandalf.sssup.it> |
* Tullio Facchinetti <tullio.facchinetti@unipv.it> |
* (see the web pages for full authors list) |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
37,11 → 36,11 |
*/ |
/* |
* CVS : $Id: initfile.c,v 1.5 2006-03-09 14:17:03 tullio Exp $ |
* CVS : $Id: initfile.c,v 1.4 2005-02-25 11:06:56 pj Exp $ |
* |
* File: $File$ |
* Revision: $Revision: 1.5 $ |
* Last update: $Date: 2006-03-09 14:17:03 $ |
* Revision: $Revision: 1.4 $ |
* Last update: $Date: 2005-02-25 11:06:56 $ |
*/ |
#include "kernel/kern.h" |
139,11 → 138,10 |
{ |
struct multiboot_info *mb = (struct multiboot_info *)arg; |
extern int __register_sub_init(void); |
LEVEL EDF_level; |
EDF_level = EDF_register_level(EDF_ENABLE_ALL); |
EDF_register_level(EDF_ENABLE_ALL); |
RR_register_level(RRTICK, RR_MAIN_YES, mb); |
CBS_register_level(CBS_ENABLE_ALL, EDF_level); |
CBS_register_level(CBS_ENABLE_ALL, 0); |
dummy_register_level(); |
SEM_register_module(); |
/demos/trunk/input/initspk.c |
---|
4,9 → 4,7 |
* Coordinators: Giorgio Buttazzo <giorgio@sssup.it> |
* Gerardo Lamastra <gerardo@sssup.it> |
* |
* Authors : |
* Mauro Marinoni <mauro.marinoni@unipv.it> |
* Tullio Facchinetti <tullio.facchinetti@unipv.it> |
* Authors : Mauro Marinoni <mauro.marinoni@unipv.it> |
* (see authors.txt for full list of hartik's authors) |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
57,7 → 55,7 |
/*+ Interrupt Server +*/ |
#define INTDRIVE_Q 1000 |
#define INTDRIVE_U 0.1*MAX_BANDWIDTH |
#define INTDRIVE_T 10000 |
#define INTDRIVE_FLAG 0 |
PID shutdown_task_PID = 1; |
65,11 → 63,10 |
TIME __kernel_register_levels__(void *arg) |
{ |
struct multiboot_info *mb = (struct multiboot_info *)arg; |
LEVEL EDF_level; |
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_Q, INTDRIVE_U, INTDRIVE_FLAG); |
EDF_level = EDF_register_level(EDF_ENABLE_ALL); |
CBS_register_level(CBS_ENABLE_ALL, EDF_level); |
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_T, INTDRIVE_FLAG); |
EDF_register_level(EDF_ENABLE_ALL); |
CBS_register_level(CBS_ENABLE_ALL, 1); |
RR_register_level(RRTICK, RR_MAIN_YES, mb); |
dummy_register_level(); |
91,7 → 88,7 |
KEYB_PARMS kparms = BASE_KEYB; |
LINUXC26_register_module(TRUE); |
LINUXC26_register_module(); |
INPUT26_init(); |
/*keyb_def_map(kparms, KEYMAP_IT);*/ |
/demos/trunk/input/initfile.c |
---|
4,9 → 4,7 |
* Coordinators: Giorgio Buttazzo <giorgio@sssup.it> |
* Gerardo Lamastra <gerardo@sssup.it> |
* |
* Authors : |
* Mauro Marinoni <mauro.marinoni@unipv.it> |
* Tullio Facchinetti <tullio.facchinetti@unipv.it> |
* Authors : Mauro Marinoni <mauro.marinoni@unipv.it> |
* (see authors.txt for full list of hartik's authors) |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
69,7 → 67,7 |
/*+ Interrupt Server +*/ |
#define INTDRIVE_Q 1000 |
#define INTDRIVE_U 0.1*MAX_BANDWIDTH |
#define INTDRIVE_T 10000 |
#define INTDRIVE_FLAG 0 |
void call_shutdown_task(void *arg); |
83,11 → 81,10 |
TIME __kernel_register_levels__(void *arg) |
{ |
struct multiboot_info *mb = (struct multiboot_info *)arg; |
LEVEL EDF_level; |
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_Q, INTDRIVE_U, INTDRIVE_FLAG); |
EDF_level = EDF_register_level(EDF_ENABLE_ALL); |
HCBS_register_level(HCBS_ENABLE_ALL, EDF_level); |
INTDRIVE_register_level(INTDRIVE_Q,INTDRIVE_T,INTDRIVE_FLAG); |
EDF_register_level(EDF_ENABLE_ALL); |
HCBS_register_level(HCBS_ENABLE_ALL, 1); |
RR_register_level(RRTICK, RR_MAIN_YES, mb); |
dummy_register_level(); |
138,7 → 135,7 |
KEYB_PARMS kparms = BASE_KEYB; |
MOUSE_PARMS mparms = BASE_MOUSE; |
LINUXC26_register_module(TRUE); |
LINUXC26_register_module(); |
PCI26_init(); |
/demos/trunk/input/initjoy.c |
---|
4,9 → 4,7 |
* Coordinators: Giorgio Buttazzo <giorgio@sssup.it> |
* Gerardo Lamastra <gerardo@sssup.it> |
* |
* Authors: |
* Mauro Marinoni <mauro.marinoni@unipv.it> |
* Tullio Facchinetti <tullio.facchinetti@unipv.it> |
* Authors : Mauro Marinoni <mauro.marinoni@unipv.it> |
* (see authors.txt for full list of hartik's authors) |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
55,7 → 53,7 |
/*+ Interrupt Server +*/ |
#define INTDRIVE_Q 1000 |
#define INTDRIVE_U 0.1*MAX_BANDWIDTH |
#define INTDRIVE_T 10000 |
#define INTDRIVE_FLAG 0 |
PID shutdown_task_PID = 1; |
63,11 → 61,10 |
TIME __kernel_register_levels__(void *arg) |
{ |
struct multiboot_info *mb = (struct multiboot_info *)arg; |
LEVEL EDF_level; |
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_Q, INTDRIVE_U, INTDRIVE_FLAG); |
EDF_level = EDF_register_level(EDF_ENABLE_ALL); |
CBS_register_level(CBS_ENABLE_ALL, EDF_level); |
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_T, INTDRIVE_FLAG); |
EDF_register_level(EDF_ENABLE_ALL); |
CBS_register_level(CBS_ENABLE_ALL, 1); |
RR_register_level(RRTICK, RR_MAIN_YES, mb); |
dummy_register_level(); |
86,7 → 83,7 |
int device_drivers_init() { |
LINUXC26_register_module(TRUE); |
LINUXC26_register_module(); |
INPUT26_init(); |
JOY26_init(); |
/demos/trunk/input/initkey.c |
---|
4,9 → 4,7 |
* Coordinators: Giorgio Buttazzo <giorgio@sssup.it> |
* Gerardo Lamastra <gerardo@sssup.it> |
* |
* Authors : |
* Mauro Marinoni <mauro.marinoni@unipv.it> |
* Tullio Facchinetti <tullio.facchinetti@unipv.it> |
* Authors : Mauro Marinoni <mauro.marinoni@unipv.it> |
* (see authors.txt for full list of hartik's authors) |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
56,7 → 54,7 |
/*+ Interrupt Server +*/ |
#define INTDRIVE_Q 1000 |
#define INTDRIVE_U 0.1*MAX_BANDWIDTH |
#define INTDRIVE_T 10000 |
#define INTDRIVE_FLAG 0 |
void call_shutdown_task(void *arg); |
70,11 → 68,10 |
TIME __kernel_register_levels__(void *arg) |
{ |
struct multiboot_info *mb = (struct multiboot_info *)arg; |
LEVEL EDF_level; |
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_Q, INTDRIVE_U, INTDRIVE_FLAG); |
EDF_level = EDF_register_level(EDF_ENABLE_ALL); |
CBS_register_level(CBS_ENABLE_ALL, EDF_level); |
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_T, INTDRIVE_FLAG); |
EDF_register_level(EDF_ENABLE_ALL); |
CBS_register_level(CBS_ENABLE_ALL, 1); |
RR_register_level(RRTICK, RR_MAIN_YES, mb); |
dummy_register_level(); |
96,7 → 93,7 |
KEYB_PARMS kparms = BASE_KEYB; |
LINUXC26_register_module(TRUE); |
LINUXC26_register_module(); |
INPUT26_init(); |
/*keyb_def_map(kparms, KEYMAP_IT);*/ |
/demos/trunk/input/initcur.c |
---|
4,9 → 4,7 |
* Coordinators: Giorgio Buttazzo <giorgio@sssup.it> |
* Gerardo Lamastra <gerardo@sssup.it> |
* |
* Authors : |
* Mauro Marinoni <mauro.marinoni@unipv.it> |
* Tullio Facchinetti <tullio.facchinetti@unipv.it> |
* Authors : Mauro Marinoni <mauro.marinoni@unipv.it> |
* (see authors.txt for full list of hartik's authors) |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
56,7 → 54,7 |
/*+ Interrupt Server +*/ |
#define INTDRIVE_Q 1000 |
#define INTDRIVE_U 0.1*MAX_BANDWIDTH |
#define INTDRIVE_T 10000 |
#define INTDRIVE_FLAG 0 |
void call_shutdown_task(void *arg); |
70,11 → 68,10 |
TIME __kernel_register_levels__(void *arg) |
{ |
struct multiboot_info *mb = (struct multiboot_info *)arg; |
LEVEL EDF_level; |
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_Q, INTDRIVE_U, INTDRIVE_FLAG); |
EDF_level = EDF_register_level(EDF_ENABLE_ALL); |
CBS_register_level(CBS_ENABLE_ALL, EDF_level); |
INTDRIVE_register_level(INTDRIVE_Q, INTDRIVE_T, INTDRIVE_FLAG); |
EDF_register_level(EDF_ENABLE_ALL); |
CBS_register_level(CBS_ENABLE_ALL, 1); |
RR_register_level(RRTICK, RR_MAIN_YES, mb); |
dummy_register_level(); |
97,7 → 94,7 |
KEYB_PARMS kparms = BASE_KEYB; |
MOUSE_PARMS mparms = BASE_MOUSE; |
LINUXC26_register_module(TRUE); |
LINUXC26_register_module(); |
INPUT26_init(); |
/*keyb_def_map(kparms, KEYMAP_IT);*/ |