| 17,8 → 17,8 |
|---|
| #include <kernel/func.h> |
| #include <kernel/types.h> |
| #include <kernel/descr.h> |
| #include <drivers/glib.h> |
| #include <drivers/keyb.h> |
| #include <drivers/shark_fb26.h> |
| #include <drivers/shark_keyb26.h> |
| #include <modules/pi.h> |
| #include <stdlib.h> |
| #include <ll/ll.h> |
| 49,22 → 49,24 |
|---|
| #define JET_SLIDE_WIDTH 120 |
| #define JET_SLIDE_X 510 |
| |
| #define black 0 // some colors for 8-bit graphics |
| #define green 2 |
| #define ltblue 3 |
| #define red 4 |
| #define purple 5 |
| #define orange 6 |
| #define gray 7 |
| #define dkgray 8 |
| #define blue 9 |
| #define lime 10 |
| #define bluegreen 11 |
| #define redorange 12 |
| #define magenta 13 |
| #define yellow 14 |
| #define white 15 |
| #define black vga16color[0] // some colors for 8-bit graphics |
| #define green vga16color[2] |
| #define ltblue vga16color[3] |
| #define red vga16color[4] |
| #define purple vga16color[5] |
| #define orange vga16color[6] |
| #define gray vga16color[7] |
| #define dkgray vga16color[8] |
| #define blue vga16color[9] |
| #define lime vga16color[10] |
| #define bluegreen vga16color[11] |
| #define redorange vga16color[12] |
| #define magenta vga16color[13] |
| #define yellow vga16color[14] |
| #define white vga16color[15] |
| |
| extern int vga16color[16]; |
| |
| void init_jetcontrol(); // init functions for jetcontrol |
| void scenario_jetcontrol(); |
| |
| 96,8 → 98,6 |
|---|
| #define BALL_PER 40000 // task period |
| #define BALL_WCET 750 // task wcet |
| |
| #define ESC 27 // ASCII code of ESCAPE key |
| |
| int p_speed; // # pixels to move each keypress |
| #define P_THICKNESS 3 // pixel thickness of paddles |
| #define P_DLENGTH 5 // delta length for paddles |