1 files changed, 15 insertions, 1 deletions
diff --git a/kernel/kmalloc.h b/kernel/kmalloc.h
index 2f89f8a..2faecb8 100644
--- a/kernel/kmalloc.h
+++ b/kernel/kmalloc.h
@@ -1,2 +1,16 @@
 #include <stdint.h>
-uint32_t kballoc(uint32_t size);
+
+/* 
+ * 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);