Import the "gerbert" kernel I worked on earlier this year.

It's a lot crappier than I remembered it. It's gonna need a lot of work.

1 files changed, 11 insertions, 0 deletions

diff --git a/Kernel/kmalloc.h b/Kernel/kmalloc.h
new file mode 100644
index 0000000000..b5f31046bc
--- /dev/null
+++ b/Kernel/kmalloc.h
@@ -0,0 +1,11 @@
+#pragma once
+
+void kmalloc_init();
+void *kmalloc(DWORD size) __attribute__ ((malloc));
+void kfree(void*);
+
+extern DWORD sum_alloc;
+extern DWORD sum_free;
+
+inline void* operator new(size_t, void* p) { return p; }
+inline void* operator new[](size_t, void* p) { return p; }