diff --git a/src/kernel/boot/platform/bios_ia32/debug.c b/src/kernel/boot/platform/bios_ia32/debug.c
new file mode 100644
index 0000000000..f22d1d0b2e
--- /dev/null
+++ b/src/kernel/boot/platform/bios_ia32/debug.c
@@ -0,0 +1,39 @@
+/*
+** Copyright 2004, Axel Dörfler, axeld@pinc-software.de. All rights reserved.
+** Distributed under the terms of the OpenBeOS License.
+*/
+
+
+#include <boot/platform.h>
+#include <boot/stdio.h>
+#include <stdarg.h>
+
+
+/** This works only after console_init() was called.
+ */
+
+void
+panic(const char *format, ...)
+{
+	va_list list;
+
+	puts("*** PANIC ***");
+
+	va_start(list, format);
+	vprintf(format, list);
+	va_end(list);
+
+	for (;;) ;
+}
+
+
+void
+dprintf(const char *format, ...)
+{
+	va_list list;
+
+	va_start(list, format);
+	vprintf(format, list);
+	va_end(list);
+}
+
diff --git a/src/kernel/boot/platform/bios_ia32/mmu.h b/src/kernel/boot/platform/bios_ia32/mmu.h
new file mode 100644
index 0000000000..9d24f7490d
--- /dev/null
+++ b/src/kernel/boot/platform/bios_ia32/mmu.h
@@ -0,0 +1,24 @@
+/*
+** Copyright 2004, Axel Dörfler, axeld@pinc-software.de. All rights reserved.
+** Distributed under the terms of the OpenBeOS License.
+*/
+#ifndef MMU_H
+#define MMU_H
+
+
+#include <SupportDefs.h>
+
+
+#ifdef __cplusplus
+extern "C" {
+#endif
+
+extern void mmu_init(void);
+extern void *mmu_allocate(void *virtualAddress, size_t size);
+extern void mmu_free(void *virtualAddress, size_t size);
+
+#ifdef __cplusplus
+}
+#endif
+
+#endif	/* MMU_H */