Create ros/vmm/vmx.h, prepare to move lots of code to user mode from kernel driver.
[akaros.git] / kern / arch / x86 / Kconfig
index bfc769e..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
 
@@ -55,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