--- a/cos/kernel/kernel.h	Tue Dec 27 18:59:02 2011 +0100
+++ b/cos/kernel/kernel.h	Wed Dec 28 13:38:43 2011 +0100
@@ -31,6 +31,8 @@
 void* kmalloc(uint64_t size);
 void kfree(void* ptr);
 
+void* kmalloc_int(uint64_t size);
+
 // task related functions:
 void initialize_tasking();
 void new_task();
@@ -38,8 +40,8 @@
 
 // STDout funcs:
 void printf(const char* fmt, ... );
-void memset(void* ptr, uint32_t value, uint32_t num);
-void memcpy(void* dst, void* src, uint32_t num);
+void memset(void* ptr, uint8_t value, uint64_t num);
+void memcpy(void* dst, void* src, uint64_t num);
 int strncmp(const char* s1, const char* s2, int size); 
 
 // Screen related:
@@ -151,5 +153,12 @@
   console_t *console;
 } task_t;
 
+// Memory manager functions:
+typedef struct
+{
+   // TODO: other members here.
+   uint64_t frame;
+} page_t;
+
 #endif