#include "memory.h"
#include "paging.h"
#include "../drivers/vga.h"
#include "../lib/str.h"
#include "../lib/conv.h"

#define BANNER_COLOR 0x0c

void print_kernel_motd();
void print_kernel_stats();
void kernel_init();