blob: 04fb44fe4371bf55bed9f8df87b77fcf982268b0 (
plain)
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
|
#include "console.h"
#include "string.h"
#include <stddef.h>
void console_init( console_t *console )
{
memset( console, 0, sizeof( console_t ) );
console->vga_text = NULL;
console->serial = NULL;
}
void console_add_vga_text_output( console_t *console, vga_text_t *vga_text )
{
console->vga_text = vga_text;
}
void console_add_serial_output( console_t *console, serial_t *serial )
{
console->serial = serial;
}
void console_put_char( console_t *console, const char c )
{
if( console->vga_text != NULL ) {
vga_text_put_char( console->vga_text, c );
}
if( console->serial != NULL ) {
serial_put_char( console->serial, c );
}
}
void console_put_string( console_t *console, const char *s )
{
if( console->vga_text != NULL ) {
vga_text_put_string( console->vga_text, s );
}
if( console->serial != NULL ) {
serial_put_string( console->serial, s );
}
}
void console_put_newline( console_t *console )
{
if( console->vga_text != NULL ) {
// wipe contents till the end of the line on the
// VGA text console, old data could still be there
// from the BIOS(es)
int x = vga_text_get_cursor_x( console->vga_text );
for( int i = x; i < console->vga_text->res_x; i++ ) {
vga_text_put_char( console->vga_text, ' ' );
}
}
if( console->serial != NULL ) {
serial_put_newline( console->serial );
}
}
|