Create ros/vmm/vmx.h, prepare to move lots of code to user mode from kernel driver.
[akaros.git] / kern / arch / x86 / Kconfig
index a5ea74d..dbff2af 100644 (file)
@@ -1,9 +1,7 @@
 config X86
+       select 64BIT
        def_bool y
 
-config X86_32
-       def_bool !64BIT
-
 config X86_64
        def_bool 64BIT
 
@@ -24,15 +22,6 @@ config NOFASTCALL_FSBASE
                setting FS base from userspace, you can say y to disable the fastcall
                for a slight improvement for all syscalls.  If unsure, say n.
 
-config FAST_COREID
-       bool "Fast core_id() via rdtscp"
-       default n
-       help
-               Uses rdtscp for a faster core_id() call.  Requires a relatively recent
-               microarchitecture (Nehalem).  Also, in my experience, qemu's support
-               for rdtscp on some machines is a little lacking, so don't be surprised
-               if it doesn't work when virtualized.  Say n if you are unsure.
-
 endmenu
 
 menu "x86 Hacks"
@@ -64,13 +53,6 @@ config NOMTRRS
                Old debug option from when we were having issues with MTRRs.  If your
                machine won't boot, try turning this on.
 
-config ENABLE_MPTABLES
-       bool "Enable MP Tables"
-       default n
-       help
-               Turns on basic MP tables support.  If you want to route IRQs, you'll
-               need this, until we get around to parsing ACPI tables.
-
 config KB_CORE0_ONLY
        bool "Keyboard from core0 only"
        default n