Subversion Repositories shark

Compare Revisions

Ignore whitespace Rev 1569 → Rev 1568

/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);*/