#ifndef ALLOC_H #define ALLOC_H #include <stdint.h> extern void initMemoryAllocation(uint32_t kernelEnd); extern void* malloc(uint32_t size); #endif