| 46,8 → 46,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 = 50000; //fps = 20 Test |
| unsigned long int PERIOD_DISEGNA = 50000; |
| unsigned long int PERIOD_REFRESH = 80000; //fps = 20 Test |
| unsigned long int PERIOD_DISEGNA = 80000; |
| |
| unsigned long int WCET_REFRESH, WCET_DISEGNA; |
| |
| 277,7 → 277,6 |
|---|
| } |
| |
| video_buf = vga_getgraphmem(); |
| rgb_565_buf = malloc(RGB565MEM); |
| |
| grx_setbuffer(rgb_565_buf, WIDTH, HEIGHT); //Init of RGB16 version of grx functions |
| //created to work with Mesa buffer |
| 357,7 → 356,7 |
|---|
| clear(); |
| |
| WCET_REFRESH =((long int) PERIOD_REFRESH * (0.3)); |
| WCET_DISEGNA =((long int) PERIOD_DISEGNA * (0.65)); |
| WCET_DISEGNA =((long int) PERIOD_DISEGNA * (0.6)); |
| |
| hard_task_default_model(ht_refresh); |
| hard_task_def_wcet(ht_refresh,WCET_REFRESH); |
| 394,6 → 393,10 |
|---|
| keyb_hook(k,program_key_end); |
| } |
| |
| rgb_565_buf = malloc(RGB565MEM); |
| |
| gl_init(); |
| |
| if (screen(INITSTR)) { |
| printk(KERN_INFO "Graphical initialization failed !!\n"); |
| sys_end(); |
| 401,8 → 404,6 |
|---|
| |
| memset(rgb_565_buf, 0, RGB565MEM); |
| |
| gl_init(); |
| |
| group_activate(1); |
| |
| return 0; |