+ // NOP - No need
+}
+void KernelPanic_PutChar(char ch)
+{
+ fprintf(stderr, "%c", ch);
+}
+void Debug_PutCharDebug(char ch)
+{
+ printf("%c", ch);
+}
+void Debug_PutStringDebug(const char *String)
+{
+ printf("%s", String);
+}
+
+void *Heap_Allocate(const char *File, int Line, int ByteCount)
+{
+ return malloc(ByteCount);
+}
+
+void *Heap_AllocateZero(const char *File, int Line, int ByteCount)
+{
+ return calloc(ByteCount, 1);
+}
+
+void *Heap_Reallocate(const char *File, int Line, void *Ptr, int Bytes)
+{
+ return realloc(Ptr, Bytes);
+}
+
+void Heap_Deallocate(void *Ptr)
+{
+ free(Ptr);