set RTL8139's default io base port to -1 when registered with PCI bus

[palacios-OLD.git] / Kconfig

diff --git a/Kconfig b/Kconfig
index d484470..7180d7a 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -13,7 +13,6 @@ config KITTEN
        select BUILT_IN_STRCASECMP
        select BUILT_IN_ATOI
        select ALIGNED_PG_ALLOC
-       select MULTITHREAD_OS
        help
          This enables the necesary options to compile Palacios with Kitten
 
@@ -164,6 +163,7 @@ config EXPERIMENTAL
 
 config CHECKPOINT
        bool "Enable Checkpointing"
+       depends on EXPERIMENTAL && KEYED_STREAMS
        default n
        help 
          Temporary option to enable experimental checkpoint code