Subversion Repositories shark

Compare Revisions

Regard whitespace Rev 1568 → Rev 1569

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