62,7 → 62,7 |
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 = 150000; //fps = 20 |
unsigned long int PERIOD_REFRESH = 150000; |
unsigned long int PERIOD_DISEGNA = 150000; |
|
unsigned long int WCET_REFRESH, WCET_DISEGNA; |
471,7 → 471,7 |
sys_atrunlevel(program_end,NULL, RUNLEVEL_BEFORE_EXIT); |
|
WCET_REFRESH =((long int) PERIOD_REFRESH * (0.2)); |
WCET_DISEGNA =((long int) PERIOD_DISEGNA * (0.6)); |
WCET_DISEGNA =((long int) PERIOD_DISEGNA * (0.75)); |
|
hard_task_default_model(ht_refresh); |
hard_task_def_wcet(ht_refresh,WCET_REFRESH); |