9#include "../../lib/base/generic.h"
10#include "../../lib/base/heap.h"
11#include "../../lib/base/stdio.h"
12#include "../../lib/base/exceptions.h"
13#include "../../lib/base/string.h"
15#include "../drivers/screen.h"
16#include "../drivers/keyboard.h"
18#include "interruption_tables.h"
24extern void initialize_kernel_heap_handler();
27#define kernel_heap_start 0x50000
28#define kernel_heap_size 0x80000
30#define kernel_timer_step 100
32void* stack_pointer = (
void*) 0x7000;
33u_dword stack_size = 0x5000;
61 initialize_kernel_heap_handler();
64 init_timer(kernel_timer_step);
68 good(
"Kernel started, build: %s - %s\n", __DATE__, __TIME__)
71 init_module_loading_driver();
80 info(
"fork() returned %d, and getpid() returned %d\n", ret, getpid())
void initialize_heap(void *start_address, u_dword initial_size)