Support HVM partitioning for APICs

[palacios.git] / palacios / src / devices / Kconfig

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