X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2FKconfig;h=2654818ccd5ab2baf504833591a0493d396c6890;hp=f08d5b254dc9babc4f8088e736b7a10cf62509c4;hb=a2c42ecf5c65f014a1a22b6a3fc3548482c4ec22;hpb=a8a10f70da3c173005db21e3c1dcf063f345c24f

diff --git a/palacios/src/devices/Kconfig b/palacios/src/devices/Kconfig
index f08d5b2..2654818 100644
--- a/palacios/src/devices/Kconfig
+++ b/palacios/src/devices/Kconfig
@@ -100,6 +100,19 @@ config DEBUG_PIT
 	help 
 	  Enable debugging for the PIT	
 
+config HPET
+    bool "HPET"
+    default n
+    help
+      Includes the High-Precision Event Timer Device
+
+config DEBUG_HPET
+    bool "HPET debugging"
+    depends on HPET && DEBUG_ON
+    help
+      Enable debugging for the HPET
+
+
 config I440FX
 	bool "i440fx Northbridge"
 	depends on PCI
@@ -236,6 +249,19 @@ config DEBUG_FILEDISK
 	help 
 	  Enable debugging for the file based disk backend 	
 
+config QCOWDISK
+	bool "QCOWDISK storage backend"
+	default y
+	depends on FILE && (IDE || LINUX_VIRTIO_BLOCK)
+	help
+	  Includes the QEMU QCOW2 file-based disk backend
+
+config DEBUG_QCOWDISK
+	bool "QCOWDISK backend debugging"
+	depends on QCOWDISK && DEBUG_ON
+	help 
+	  Enable debugging for the QEMU QCOW2-based disk backend 	
+
 config NETDISK
 	bool "NETDISK storage backend"
 	default y