eOS/kernel/kernel.h

#include "interupt.h"
#include "pic.h"
#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();
More ints stuff 3 years ago			`#include "interupt.h"`
Refactor 3 years ago			`#include "pic.h"`
Minor header refactor 3 years ago			`#include "memory.h"`
			`#include "paging.h"`
			`#include "../drivers/vga.h"`
			`#include "../lib/str.h"`
			`#include "../lib/conv.h"`

Header typo fix 3 years ago			`#define BANNER_COLOR 0x0c`
Minor functionality 3 years ago
Header typo fix 3 years ago			`void print_kernel_motd();`
			`void print_kernel_stats();`
Better intro 3 years ago			`void kernel_init();`