#include <stdint.h>

/* 
 * Kernel Block Memory Allocation
 *
 * The kernel reserves some memory for internal operation, since  malloc 
 * is not available.
 *
 * Last Revision: 17 AUG 2018
 */

// Allocate size*4096 bytes and returns a 32-bit pointer
uint32_t kballoc  (uint32_t size);

// Free memory allocated before by supplying the address (TODO)
uint32_t kbfree   (uint32_t addr);