+void KernelPanic_SetMode(void)
+{
+ // NOP - No need
+}
+void KernelPanic_PutChar(char ch)
+{
+ fprintf(stderr, "%c", ch);
+}
+void Debug_PutCharDebug(char ch)
+{
+ printf("%c", ch);
+ if( ch == '\n' )
+ fflush(stdout);
+}
+void Debug_PutStringDebug(const char *String)
+{
+ printf("%s", String);
+ if( strchr(String, '\n') )
+ fflush(stdout);
+}
+
+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);
+}
+
+char *Heap_StringDup(const char *File, int Line, const char *Str)
+{
+ return strdup(Str);
+}
+
+void Heap_Dump(void)