blob: c6df62f531a889b959948964c6bae1fe46ac2115 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
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
|
