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