OpenKernel/main.c at main · OpenSoftware-World/OpenKernel · GitHub

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
#include "SystemLib/Std/types.h"
#include "Drivers/Vga/vga.h"
#include "SystemLib/SysCalls/basic_syscall.h"
#include "SystemLib/TimeMng/time.h"
#include "Kernel/KernelServices/Shell/shell.h"

void kernel_main()
{
    // The system is starting up and displaying log messages
    vga_init();
    sleep(30);
    log_message("S", "System disk read successful; loading the kernel...");
    sleep(30);
    log_message("I", "Kernel initialized successfully.");
    sleep(20);
    log_message("I", "VGA Driver initalized successfully.");
    sleep(10);
    log_message("I", "RTC Services initalized successfully.");
    sleep(10);
    log_message("I", "Shell initalized successfully.");
    sleep(5);
    log_message("W", "Since this system is still new, there may be some glitches.");
    sleep(15);
    log_message("U", "The hardware status is unknown.");
    sleep(25);
    log_message("S", "The system is ready to start; the system is starting.");
    sleep(100);

    // Main menu
    vga_set_color_scheme(VGA_COLOR_BLUE, VGA_COLOR_WHITE);
    vga_clear_screen();
    vga_print_scr_nw("Welcome to the OpenKernel!");
    vga_print_scr_nw("OpenKernel version 1.0 (It was created for future use in OpenSoftware-World OS.)");

    // Shell is starting
    vga_newline();
    vga_set_cursor(12, 4);
    shell_init();
}