- /*kprint(string, 0x07);*/
- kprint("Color 0x01\n", VGA_COLOR_BLUE);
- kprint("Color 0x02\n", VGA_COLOR_GREEN);
- kprint("Color 0x03\n", VGA_COLOR_TEAL);
- kprint("Color 0x04\n", VGA_COLOR_DARK_RED);
- kprint("Color 0x05\n", VGA_COLOR_MAGENTA);
- kprint("Color 0x06\n", VGA_COLOR_BROWN);
- kprint("Color 0x07\n", VGA_COLOR_LIGHT_GRAY);
- kprint("Color 0x08\n", VGA_COLOR_DARK_GRAY);
- kprint("Color 0x09\n", VGA_COLOR_PURPLE);
- kprint("Color 0x0A\n", VGA_COLOR_LIME);
- kprint("Color 0x0B\n", VGA_COLOR_CYAN);
- kprint("Color 0x0C\n", VGA_COLOR_BRIGHT_RED);
- kprint("Color 0x0D\n", VGA_COLOR_PINK);
- kprint("Color 0x0E\n", VGA_COLOR_YELLOW);
- kprint("Color 0x0F\n", VGA_COLOR_WHITE);
- kprintb(0xAE);