CoolPotOS/kernel/kernel.c

#include "../include/multiboot.h"
#include "../include/common.h"
#include "../include/graphics.h"
#include "../include/description_table.h"
#include "../include/io.h"
#include "../include/memory.h"
#include "../include/timer.h"
#include "../include/task.h"
#include "../include/cmos.h"
#include "../include/keyboard.h"
#include "../include/shell.h"
#include "../include/date.h"

extern uint32_t end;
extern int status;
uint32_t placement_address = (uint32_t) & end;

void kernel_main(multiboot_t *multiboot) {
    io_cli();
    vga_install();
    printf("[\035kernel\036]: VGA driver load success!\n");
    gdt_install();
    idt_install();
    printf("[\035kernel\036]: description table config success!\n");
    init_timer(10);
    init_page();
    printf("[\035kernel\036]: page set success!\n");
    init_sched();
    printf("[\035kernel\036]: PCB load success!\n");
    init_keyboard();
    printf("[\035kernel\036]: Keyboard driver load success!\n");

    print_cpu_id();
    io_sti();

    clock_sleep(25);

    kernel_thread(setup_shell,NULL,"CPOS-Shell");
    if(!status) kernel_thread(setup_date,NULL,"CPOS-Date");

    for (;;){
        io_hlt();
        clock_sleep(1);
    }
}