src/kernel/console.c


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 );
	}
}