A poorly written OS for the x86 arch. (WIP)
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
|
|
|
#include "kernel.h"
|
|
|
|
|
|
|
|
|
|
void kernel_init() {
|
|
|
|
|
vga_init(); // Initialize the screen first
|
|
|
|
|
// i.e. clear the screen et cetera.
|
|
|
|
|
|
|
|
|
|
println("Kernel loaded", SUCCESS_COLOR);
|
|
|
|
|
|
|
|
|
|
// Allocate VGA memory range
|
|
|
|
|
pm_malloc_range(VGA_ADDRESS, VGA_ADDRESS_MAX, true); // force alloc the VGA range
|
|
|
|
|
|
|
|
|
|
// ENABLE PAGING
|
|
|
|
|
// TODO: make this work
|
|
|
|
|
// enable_paging();
|
|
|
|
|
|
|
|
|
|
println("");
|
|
|
|
|
char* title = "eOS - lim[h->0] (1+h)^(1/h) OS";
|
|
|
|
|
println(title, DEFAULT_COLOR);
|
|
|
|
|
|
|
|
|
|
char* subtitle = "A x86 operating system, licenced under GPL-2.0";
|
|
|
|
|
println(subtitle, DEFAULT_COLOR);
|
|
|
|
|
|
|
|
|
|
char* mem = (char*) get_phys_mem_size();
|
|
|
|
|
println(mem, DEFAULT_COLOR);
|
|
|
|
|
|
|
|
|
|
}
|
