Adds 64 bit option
[akaros.git] / kern / arch / x86 / Kconfig
1 config X86
2         def_bool y
3
4 config X86_32
5         def_bool !64BIT
6
7 config X86_64
8         def_bool 64BIT
9
10 menu "x86 Hacks"
11
12 config PCI_VERBOSE
13         bool "Verbose PCI Output"
14         default n
15         help
16                 Will print out extra information related to PCI.
17
18 config NOMTRRS
19         bool "Disable MTRRs"
20         default n
21         help
22                 Old debug option from when we were having issues with MTRRs.  If your
23                 machine won't boot, try turning this on.
24
25 config ENABLE_MPTABLES
26         bool "Enable MP Tables"
27         default n
28         help
29                 Turns on basic MP tables support.  If you want to route IRQs, you'll
30                 need this, until we get around to parsing ACPI tables.
31
32 config KB_CORE0_ONLY
33         bool "Keyboard from core0 only"
34         default n
35         help
36                 Say 'n' unless you are using a buggy x86 machine that can't handle
37                 polling the keyboard PIO from cores other than core 0.
38
39 endmenu