x86: fast core_id() 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 Options"
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 NOFASTCALL_FSBASE
19         depends on X86_64
20         bool "Disable fastcall to set FS base"
21         default n
22         help
23                 Disable the fast path syscall to set FS base.  If your hardware allows
24                 setting FS base from userspace, you can say y to disable the fastcall
25                 for a slight improvement for all syscalls.  If unsure, say n.
26
27 config FAST_COREID
28         bool "Fast core_id() via rdtscp"
29         default n
30         help
31                 Uses rdtscp for a faster core_id() call.  Requires a relatively recent
32                 microarchitecture (Nehalem).  Also, in my experience, qemu's support
33                 for rdtscp on some machines is a little lacking, so don't be surprised
34                 if it doesn't work when virtualized.  Say n if you are unsure.
35
36 endmenu
37
38 menu "x86 Hacks"
39
40 config NOMTRRS
41         bool "Disable MTRRs"
42         default n
43         help
44                 Old debug option from when we were having issues with MTRRs.  If your
45                 machine won't boot, try turning this on.
46
47 config ENABLE_MPTABLES
48         bool "Enable MP Tables"
49         default n
50         help
51                 Turns on basic MP tables support.  If you want to route IRQs, you'll
52                 need this, until we get around to parsing ACPI tables.
53
54 config KB_CORE0_ONLY
55         bool "Keyboard from core0 only"
56         default n
57         help
58                 Say 'n' unless you are using a buggy x86 machine that can't handle
59                 polling the keyboard PIO from cores other than core 0.
60
61 endmenu