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
|
#include "./io/vga/text_mode_diplay.h"
#include "./io/vga/colours.h"
void run_kern_demo()
{
vga_set_text_colour(COLOUR_LIGHT_GREEN, COLOUR_BLACK);
vga_clear_screen();
vga_print_ln(" _ _ ____ _____ ");
vga_print_ln(" | | (_) / __ \\ / ____|");
vga_print_ln(" | |_ _ _ __ _ _| | | | (___ ");
vga_print_ln(" | __| | '_ \\| | | | | | |\\___ \\ ");
vga_print_ln(" | |_| | | | | |_| | |__| |____) |");
vga_print_ln(" \\__|_|_| |_|\\__, |\\____/|_____/ ");
vga_print_ln(" __/ | ");
vga_print_ln(" |___/ ");
vga_print_ln("");
vga_print_ln("Supported colours");
vga_set_text_colour(COLOUR_BLUE, COLOUR_BLACK);
vga_print("blue ");
vga_set_text_colour(COLOUR_GREEN, COLOUR_BLACK);
vga_print("green ");
vga_set_text_colour(COLOUR_CYAN, COLOUR_BLACK);
vga_print("cyan ");
vga_set_text_colour(COLOUR_RED, COLOUR_BLACK);
vga_print("red ");
vga_set_text_colour(COLOUR_PURPLE, COLOUR_BLACK);
vga_print("purple ");
vga_set_text_colour(COLOUR_BROWN, COLOUR_BLACK);
vga_print("brown ");
vga_set_text_colour(COLOUR_GRAY, COLOUR_BLACK);
vga_print_ln("gray ");
vga_set_text_colour(COLOUR_DARK_GREY, COLOUR_BLACK);
vga_print("dark gray ");
vga_set_text_colour(COLOUR_LIGHT_BLUE, COLOUR_BLACK);
vga_print("light blue ");
vga_set_text_colour(COLOUR_LIGHT_GREEN, COLOUR_BLACK);
vga_print("light green ");
vga_set_text_colour(COLOUR_LIGHT_CYAN, COLOUR_BLACK);
vga_print_ln("light cyan");
vga_set_text_colour(COLOUR_LIGHT_RED, COLOUR_BLACK);
vga_print("light red ");
vga_set_text_colour(COLOUR_LIGHT_PURPLE, COLOUR_BLACK);
vga_print("light purple ");
vga_set_text_colour(COLOUR_YELLOW, COLOUR_BLACK);
vga_print("yellow ");
vga_set_text_colour(COLOUR_WHITE, COLOUR_BLACK);
vga_print_ln("white ");
vga_set_text_colour(COLOUR_BLACK, COLOUR_WHITE);
vga_print("B");
vga_set_text_colour(COLOUR_WHITE, COLOUR_BLUE);
vga_print("A");
vga_set_text_colour(COLOUR_WHITE, COLOUR_GREEN);
vga_print("C");
vga_set_text_colour(COLOUR_WHITE, COLOUR_CYAN);
vga_print("K");
vga_set_text_colour(COLOUR_WHITE, COLOUR_RED);
vga_print("G");
vga_set_text_colour(COLOUR_WHITE, COLOUR_PURPLE);
vga_print("R");
vga_set_text_colour(COLOUR_WHITE, COLOUR_BROWN);
vga_print("O");
vga_set_text_colour(COLOUR_WHITE, COLOUR_GRAY);
vga_print("U");
vga_set_text_colour(COLOUR_WHITE, COLOUR_LIGHT_BLUE);
vga_print("N");
vga_set_text_colour(COLOUR_BLACK, COLOUR_YELLOW);
vga_print("D");
vga_set_text_colour(COLOUR_BLACK, COLOUR_LIGHT_GREEN);
vga_print(" ");
vga_set_text_colour(COLOUR_BLACK, COLOUR_LIGHT_CYAN);
vga_print("C");
vga_set_text_colour(COLOUR_WHITE, COLOUR_LIGHT_RED);
vga_print("O");
vga_set_text_colour(COLOUR_WHITE, COLOUR_LIGHT_PURPLE);
vga_print("L");
vga_set_text_colour(COLOUR_BLACK, COLOUR_WHITE);
vga_print("O");
vga_set_text_colour(COLOUR_WHITE, COLOUR_RED);
vga_print("U");
vga_set_text_colour(COLOUR_WHITE, COLOUR_PURPLE);
vga_print("R");
vga_set_text_colour(COLOUR_WHITE, COLOUR_BROWN);
vga_print("S");
vga_set_text_colour(COLOUR_WHITE, COLOUR_GRAY);
}
void kernel_entrypoint()
{
run_kern_demo();
}
|