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

diff --git a/palacios/src/devices/Kconfig b/palacios/src/devices/Kconfig
index f08d5b2..da55c11 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