Add better number formatting to printf

2018-05-06 02:18:24 -07:00
parent f64efad057
commit d876aa141c
6 changed files with 31 additions and 24 deletions
--- a/src/kernel/memory.cpp
+++ b/src/kernel/memory.cpp
@@ -114,3 +114,9 @@ memory_manager::pop_free(unsigned size)
 	block->next = nullptr;
 	return block;
 }
+
+void * operator new (size_t, void *p) { return p; }
+void * operator new (size_t n)    { return g_kernel_memory_manager.allocate(n); }
+void * operator new[] (size_t n)  { return g_kernel_memory_manager.allocate(n); }
+void operator delete (void *p)  { return g_kernel_memory_manager.free(p); }
+void operator delete[] (void *p){ return g_kernel_memory_manager.free(p); }