56 lines
1.2 KiB
C
56 lines
1.2 KiB
C
/* 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
|