18,11 → 18,11 |
|
/** |
------------ |
CVS : $Id: iaster7.c,v 1.1 2002-11-11 08:22:45 pj Exp $ |
CVS : $Id: iaster7.c,v 1.2 2004-04-17 11:36:13 giacomo Exp $ |
|
File: $File$ |
Revision: $Revision: 1.1 $ |
Last update: $Date: 2002-11-11 08:22:45 $ |
Revision: $Revision: 1.2 $ |
Last update: $Date: 2004-04-17 11:36:13 $ |
------------ |
|
System initialization file |
65,6 → 65,7 |
|
|
#include "kernel/kern.h" |
#include "modules/intdrive.h" |
#include "modules/edf.h" |
#include "modules/tbs.h" |
|
77,37 → 78,27 |
#include "modules/sem.h" |
#include "modules/hartport.h" |
|
#include "drivers/keyb.h" |
|
#include <ll/stdio.h> |
|
|
/*+ sysyem tick in us +*/ |
#define TICK 300 |
#define TICK 0 |
|
#define RRTICK 5000 |
#define RRTICK 10000 |
|
/*+ Interrupt Server +*/ |
#define INTDRIVE_Q 1000 |
#define INTDRIVE_T 10000 |
#define INTDRIVE_FLAG 0 |
|
TIME __kernel_register_levels__(void *arg) |
{ |
struct multiboot_info *mb = (struct multiboot_info *)arg; |
|
// EDF_register_level(EDF_ENABLE_ALL); |
// PS_register_level(2 /*PS_ENABLE_ALL_EDF*/,0,1000,100000); |
// RR_register_level(RRTICK, RR_MAIN_YES, mb); |
// TBS_register_level(TBS_ENABLE_ALL, 0, 1, 10); |
// PS_register_level(2,0,3000,10000); |
// TBS_register_level(TBS_ENABLE_ALL, 0, 3, 10); |
|
|
INTDRIVE_register_level(INTDRIVE_Q,INTDRIVE_T,INTDRIVE_FLAG); |
RM_register_level(RM_ENABLE_ALL); |
PS_register_level(PS_ENABLE_ALL_RM,0,1000,100000); |
PS_register_level(PS_ENABLE_ALL_RM,1,1000,100000); |
RR_register_level(RRTICK, RR_MAIN_YES, mb); |
PS_register_level(4,0,10000,100000); |
PS_register_level(4,0,30000,100000); |
PS_register_level(4,1,10000,100000); |
PS_register_level(4,1,30000,100000); |
|
|
|
dummy_register_level(); |
|
SEM_register_module(); |
115,28 → 106,12 |
return TICK; |
} |
|
SOFT_TASK_MODEL m; |
|
TASK __init__(void *arg) |
{ |
struct multiboot_info *mb = (struct multiboot_info *)arg; |
KEYB_PARMS k = BASE_KEYB; |
|
soft_task_default_model(m); |
soft_task_def_wcet(m,2000); |
soft_task_def_met(m,800); |
soft_task_def_period(m,25000); |
soft_task_def_system(m); |
soft_task_def_nokill(m); |
soft_task_def_aperiodic(m); |
soft_task_def_level(m,4); |
keyb_def_task(k,&m); |
|
HARTPORT_init(); |
|
if (KEYB_init(&k) < 0) |
cprintf("Error during the init of the Keyboard!!!"); |
|
__call_main__(mb); |
|
return (void *)0; |