1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
|
#include <stddef.h>
#include <stdint.h>
#include "../io/io.h"
#include "../lib/lib.h"
#include "../commands/command.h"
#include "../interrupts/interrupts.h"
// Hardware text mode color constants
enum vga_color {
VGA_COLOR_BLACK = 0,
VGA_COLOR_BLUE = 1,
VGA_COLOR_GREEN = 2,
VGA_COLOR_CYAN = 3,
VGA_COLOR_RED = 4,
VGA_COLOR_MAGENTA = 5,
VGA_COLOR_BROWN = 6,
VGA_COLOR_LIGHT_GREY = 7,
VGA_COLOR_DARK_GREY = 8,
VGA_COLOR_LIGHT_BLUE = 9,
VGA_COLOR_LIGHT_GREEN = 10,
VGA_COLOR_LIGHT_CYAN = 11,
VGA_COLOR_LIGHT_RED = 12,
VGA_COLOR_LIGHT_MAGENTA = 13,
VGA_COLOR_LIGHT_BROWN = 14,
VGA_COLOR_WHITE = 15,
};
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;
char text[1024] = {0};
void terminal_clear() {
terminal_row = 0;
terminal_column = 0;
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_enable_cursor(uint8_t cursor_start, uint8_t cursor_end) {
send_b(0x3D4, 0x0A);
send_b(0x3D5, (receive_b(0x3D5) & 0xC0) | cursor_start);
send_b(0x3D4, 0x0B);
send_b(0x3D5, (receive_b(0x3D5) & 0xE0) | cursor_end);
}
void terminal_update_cursor(void) {
unsigned temp = terminal_row * VGA_WIDTH + terminal_column;
send_b(0x3D4, 14);
send_b(0x3D5, temp >> 8);
send_b(0x3D4, 15);
send_b(0x3D5, temp);
}
void terminal_initialize(void) {
terminal_enable_cursor(0, 15);
terminal_row = 0;
terminal_column = 0;
terminal_color = vga_entry_color(VGA_COLOR_LIGHT_GREY, VGA_COLOR_BLACK);
terminal_buffer = (uint16_t *) 0xC00B8000;
terminal_clear();
}
void terminal_scroll(void) {
if (terminal_row >= VGA_HEIGHT) {
terminal_row = VGA_HEIGHT - 1;
for (size_t x = 0; x < VGA_WIDTH; x++)
for (size_t y = 0; y < VGA_HEIGHT; y++) {
uint16_t c = terminal_buffer[y * VGA_WIDTH + x];
terminal_buffer[(y - 1) * VGA_WIDTH + x] = c;
terminal_buffer[y * VGA_WIDTH + x] = vga_entry(' ', terminal_color);
}
}
}
void terminal_set_color(uint8_t color) {
terminal_color = color;
}
void terminal_put_entry_at(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);
}
void terminal_put_char(char c) {
if (c == 0x08) {
if (terminal_column != 0) terminal_column--;
} else if (c == 0x09) {
terminal_column = (terminal_column + 8) & ~(8 - 1);
} else if (c == '\r') {
terminal_column = 0;
} else if (c == '\n') {
terminal_row++;
terminal_column = 0;
terminal_scroll();
} else if (c >= ' ') { // Any printable character
terminal_put_entry_at(c, terminal_color, terminal_column, terminal_row);
terminal_column++;
}
// Add new line on overflow
if (terminal_column >= VGA_WIDTH) {
terminal_column = 0;
terminal_row++;
}
terminal_scroll();
terminal_update_cursor();
}
void terminal_write(const char *data, size_t size) {
for (size_t i = 0; i < size; i++)
terminal_put_char(data[i]);
}
void terminal_put_keyboard_char(char c) {
terminal_put_char(c);
if (c == '\n' && irq_is_installed(1)) {
exec_command(text);
memory_set(text, 0, sizeof(text));
terminal_column = 0;
terminal_row++;
terminal_scroll();
terminal_put_entry_at('$', terminal_color, terminal_column, terminal_row);
terminal_column = 2;
terminal_update_cursor();
} else if (c >= ' ' && irq_is_installed(1)) strcat(text, &c);
}
void terminal_write_string(const char *data) {
terminal_write(data, strlen(data));
}
void terminal_write_line(const char *data) {
terminal_column = 0;
terminal_write_string(data);
terminal_column = 0;
}
|
