#ifndef KERNEL_H
#define KERNEL_H

#include "kernel.h"

extern void* kernel_heap_start;
extern void* kernel_heap_end;

#endif