Searched refs:terminal_color (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/projects/camkes/apps/vgatest/components/VGADriver/
H A Dvgadriver.c56 uint8_t terminal_color; variable
62 terminal_color = vga_entry_color(VGA_COLOR_LIGHT_GREY, VGA_COLOR_BLACK);
69 terminal_buffer[index] = vga_entry(' ', terminal_color);
76 terminal_color = color;
85 terminal_putentryat(c, terminal_color, terminal_column, terminal_row);

Completed in 62 milliseconds