39,7 → 39,7 |
#define HEIGHT 480 |
#define BYTES_PP 2 //BytesPerPixel |
#define INITSTR G640x480x64K //SVGAlib standard mode definitions |
#define CARD NV3 //Video driver (Supported SAVAGE, NV3, R128 from SVGALib) |
#define CARD VESA //Video driver |
|
#define DEG2RAD (3.14159/180.0) |
|
62,8 → 62,8 |
unsigned long int VMEMLONG = WIDTH * HEIGHT * BYTES_PP / 4; // Used by copy_videomem_16to16 |
unsigned long int RGB565MEM = WIDTH * HEIGHT * BYTES_PP; // Total video mem |
|
unsigned long int PERIOD_REFRESH = 80000; //fps = 20 |
unsigned long int PERIOD_DISEGNA = 80000; |
unsigned long int PERIOD_REFRESH = 150000; //fps = 20 |
unsigned long int PERIOD_DISEGNA = 150000; |
|
unsigned long int WCET_REFRESH, WCET_DISEGNA; |
|
470,8 → 470,8 |
|
sys_atrunlevel(program_end,NULL, RUNLEVEL_BEFORE_EXIT); |
|
WCET_REFRESH =((long int) PERIOD_REFRESH * (0.20)); |
WCET_DISEGNA =((long int) PERIOD_DISEGNA * (0.70)); |
WCET_REFRESH =((long int) PERIOD_REFRESH * (0.2)); |
WCET_DISEGNA =((long int) PERIOD_DISEGNA * (0.6)); |
|
hard_task_default_model(ht_refresh); |
hard_task_def_wcet(ht_refresh,WCET_REFRESH); |