Go to most recent revision |
Blame |
Compare with Previous |
Last modification |
View Log
| RSS feed
//////////////////////////////////////////////////////////////////
// Pong
// Written for CS 324, UIUC
// Spencer Hoke
// James Kim
// Tao Luo
//
// Last Modified: April 29, 2004
//
// System initialization file
//
// This file contains the 2 functions needed to initialize the system.
//
// These functions register the following levels:
//
// an EDF (Earliest Deadline First) level
// a RR (Round Robin) level
// a CBS (Costant Bandwidth Server) level
// a Dummy level
//
// It can accept these task models:
//
// HARD_TASK_MODEL (wcet+mit) at level 0
// SOFT_TASK_MODEL (met, period) at level 1
// NRT_TASK_MODEL at level 2
//
// This file is similar to the configuration of in demos/base
//
// TICK is set to 0 (one-shot timer is used)
#include "kernel/kern.h"
#include "modules/edf.h"
#include "modules/cbs.h"
#include "modules/rr.h"
#include "modules/dummy.h"
#include "modules/sem.h"
#include "modules/hartport.h"
#include "modules/cabs.h"
#include "modules/pi.h"
#include "drivers/keyb.h"
// sysyem tick in us
#define TICK 0
/*+ RR tick in us +*/
//#define RRTICK 10000
#define RRTICK 2000
TIME __kernel_register_levels__(void *arg)
{
struct multiboot_info *mb = (struct multiboot_info *)arg;
EDF_register_level(EDF_ENABLE_WCET_CHECK);
CBS_register_level(CBS_ENABLE_ALL, 0);
RR_register_level(RRTICK, RR_MAIN_YES, mb);
dummy_register_level();
SEM_register_module(); // needed for keyboard
CABS_register_module();
PI_register_module();
return TICK;
}
TASK __init__(void *arg)
{
struct multiboot_info *mb = (struct multiboot_info *)arg;
KEYB_PARMS kparms = BASE_KEYB;
HARTPORT_init();
keyb_def_ctrlC(kparms, NULL);
keyb_def_map(kparms,itaMap);
KEYB_init(&kparms);
__call_main__(mb);
return (void *)0;
}