| 288,7 → 288,7 |
|---|
| t1 = task_create("X", edftask, &mhard, NULL); |
| if (t1 == NIL) { |
| perror("Could not create task X ..."); |
| sys_end(); |
| exit(1); |
| } |
| |
| hard_task_def_mit(mhard,30000); //5% |
| 297,7 → 297,7 |
|---|
| t2 = task_create("Y", edftask, &mhard, NULL); |
| if (t2 == NIL) { |
| perror("Could not create task Y ..."); |
| sys_end(); |
| exit(1); |
| } |
| |
| group_activate(1); |
| 341,7 → 341,7 |
|---|
| |
| kern_gettime(&endtimer); |
| endtimer.tv_sec += 20; |
| kern_event_post(&endtimer, (void (*)(void *))(sys_end), NULL); |
| kern_event_post(&endtimer, (void (*)(void *))(exit), NULL); |
| |
| err = fsf_create_thread(server1,&j1,NULL,star,NULL,&nrt); |
| kern_printf("(%d)",err); |