#include "terminal.h" #include "string.h" #include "ctype.h" #include #include #include static inline uint8_t vga_entry_color(enum vga_color fg, enum vga_color bg) { return fg | bg << 4; } static inline uint16_t vga_entry(unsigned char uc, uint8_t color) { return (uint16_t) uc | (uint16_t) color << 8; } static const size_t VGA_WIDTH = 80; static const size_t VGA_HEIGHT = 25; size_t terminal_row; size_t terminal_column; uint8_t terminal_color; uint16_t* terminal_buffer; void terminal_initialize(void) { terminal_row = 0; terminal_column = 0; terminal_color = vga_entry_color(VGA_COLOR_LIGHT_GREY, VGA_COLOR_BLACK); terminal_buffer = (uint16_t*) 0xB8000; for (size_t y = 0; y < VGA_HEIGHT; y++) { for (size_t x = 0; x < VGA_WIDTH; x++) { const size_t index = y * VGA_WIDTH + x; terminal_buffer[index] = vga_entry(' ', terminal_color); } } } void terminal_setcolor(uint8_t color) { terminal_color = color; } void terminal_putentryat(char c, uint8_t color, size_t x, size_t y) { const size_t index = y * VGA_WIDTH + x; terminal_buffer[index] = vga_entry(c, color); } int terminal_putchar(char c) { if (c == '\n') { terminal_column = 0; terminal_row++; return 1; } if (!isprint(c)) return 1; terminal_putentryat(c, terminal_color, terminal_column, terminal_row); if (++terminal_column == VGA_WIDTH) { terminal_column = 0; if (++terminal_row == VGA_HEIGHT) terminal_row = 0; } return 1; } int terminal_write(const char* data, size_t size) { size_t i; for (i = 0; i < size; i++) terminal_putchar(data[i]); return (int) i; } int terminal_writestring(const char* data) { size_t len = strlen(data); terminal_write(data, len); return len; } int terminal_writelong(long n) { long div = 10; int rv = 0; if (n < 0) { rv += terminal_putchar('-'); n *= -1; } div = 1; while (div <= n / 10) div *= 10; while (div > 0) { rv += terminal_putchar('0' + n / div % 10); div /= 10; } return rv; }