25,11 → 25,11 |
#include <kernel/log.h> |
#include <kernel/kern.h> |
|
#define WIDTH 640 |
#define HEIGHT 480 |
#define WIDTH 800 |
#define HEIGHT 600 |
#define BYTES_PP 2 |
#define INITSTR G640x480x64K //SVGAlib standard mode definitions |
#define CARD NV3 //Video driver (Supported SAVAGE, NV3, R128 from SVGALib) |
#define INITSTR G800x600x64K //SVGAlib standard mode definitions |
#define CARD VESA //Video driver |
|
unsigned char *rgb_565_buf = NULL; //RGB 16 bpp Buffer |
unsigned char *video_buf = NULL; //Video Buffer |
36,8 → 36,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 = 40000; //fps = 25 |
unsigned long int PERIOD_DISEGNA = 80000; |
unsigned long int PERIOD_REFRESH = 100000; |
unsigned long int PERIOD_DISEGNA = 100000; |
|
unsigned long int WCET_REFRESH, WCET_DISEGNA; |
|
145,8 → 145,8 |
|
clear(); |
|
WCET_REFRESH =((long int) PERIOD_REFRESH * (0.7)); |
WCET_DISEGNA =((long int) PERIOD_DISEGNA * (0.15)); |
WCET_REFRESH =((long int) PERIOD_REFRESH * (0.4)); |
WCET_DISEGNA =((long int) PERIOD_DISEGNA * (0.4)); |
|
hard_task_default_model(ht_refresh); |
hard_task_def_wcet(ht_refresh,WCET_REFRESH); |