// As much as this goes against things with me, there is really no reason
// to return an integer.. Maybe in the future we can provide kernel launch
// arguments from the bootloader but for now? void kern_start(void).
void kern_start(uint32_t esp)
{
start_stack = esp;
//memset(buffer, 0, (1<<16)-1);
str = itoa(buffer, esp);
strcat(str, " Hello World!");
vga_initialize();
char /* *str = "Hello world!",*/ *ch;
unsigned i;
for(ch = str, i = 0; *ch; ch++, i++)
vidmem[i] = (unsigned char) *ch | 0x0700;
//print_str("Hello World", 0);
// vga_initialize();
//
// printf("Hello world!\n");
}
void kernel_early() {
/* Initialize VGA interface */
vga_initialize();
}
void kinit()
{
vga_initialize();
}
