1 files changed, 55 insertions, 0 deletions
diff --git a/util/extensions/legacybios/include/config.h b/util/extensions/legacybios/include/config.h
new file mode 100644
index 0000000000..c6df62f531
--- /dev/null
+++ b/util/extensions/legacybios/include/config.h
@@ -0,0 +1,55 @@
+/* tag: compile time configuration options
+ *
+ * Copyright (C) 2003 Patrick Mauritz, Stefan Reinauer
+ *
+ * See the file "COPYING" for further information about
+ * the copyright and warranty status of this work.
+ */
+
+#ifndef __CONFIG_H
+#define __CONFIG_H
+
+/* Console options
+ * 
+ * DEBUG_CONSOLE_VGA
+ *   use vga textmode and keyboard console
+ *
+ * DEBUG_CONSOLE_SERIAL
+ *   use serial console. If this is enabled, see 
+ *   options below.
+ *
+ * SERIAL_PORT:
+ *   0 for none, 1 for ttyS0, 2 for ttyS1
+ *
+ * SERIAL_SPEED:
+ *   supported speeds are: 115200, 57600, 38400, 19200, 9600
+ */
+
+#define DEBUG_CONSOLE_SERIAL
+// #define DEBUG_CONSOLE_VGA
+
+#define SERIAL_PORT  1
+#define SERIAL_SPEED 115200
+
+
+/* Debugging switches
+ * 
+ * these switches enable debugging code snippets spread all over 
+ * the code. You should not need to change these settings unless
+ * you know what you are doing.
+ * 
+ * DEBUG_BOOT: 
+ *   early boot code (multiboot parsing etc)
+ *
+ * DEBUG_CONSOLE:
+ *   use builtin C console code for user interaction. There is no
+ *   real alternative to this until someone writes a display/kbd or
+ *   serial driver in forth.
+ */
+
+#if 0
+#define DEBUG_BOOT
+#endif
+#define DEBUG_CONSOLE
+
+#endif