Index: /trunk/src/VBox/Main/ConsoleImpl2.cpp
===================================================================
--- /trunk/src/VBox/Main/ConsoleImpl2.cpp	(revision 16048)
+++ /trunk/src/VBox/Main/ConsoleImpl2.cpp	(revision 16049)
@@ -442,4 +442,37 @@
 
     /*
+     * High Precision Event Timer (HPET)
+     */
+    BOOL fHpetEnabled;
+    /** @todo: implement appropriate getter */
+#ifdef VBOX_WITH_HPET
+    fHpetEnabled = true;
+#else
+    fHpetEnabled = false;
+#endif
+
+    /*
+     * System Management Controller (SMC)
+     */
+    BOOL fSmcEnabled;
+    /** @todo: implement appropriate getter */
+#ifdef VBOX_WITH_SMC
+    fSmcEnabled = true;
+#else
+    fSmcEnabled = false;
+#endif
+
+    /*
+     * Low Pin Count (LPC) bus
+     */
+    BOOL fLpcEnabled;
+    /** @todo: implement appropriate getter */
+#ifdef VBOX_WITH_LPC
+    fLpcEnabled = true;
+#else
+    fLpcEnabled = false;
+#endif
+
+    /*
      * PS/2 keyboard & mouse.
      */
@@ -558,4 +591,10 @@
         rc = CFGMR3InsertInteger(pCfg,  "IOAPIC", fIOAPIC);                         RC_CHECK();
         rc = CFGMR3InsertInteger(pCfg,  "FdcEnabled", fFdcEnabled);                 RC_CHECK();
+#ifdef VBOX_WITH_HPET
+        rc = CFGMR3InsertInteger(pCfg,  "HpetEnabled", fHpetEnabled);               RC_CHECK();
+#endif
+#ifdef VBOX_WITH_SMC
+        rc = CFGMR3InsertInteger(pCfg,  "SmcEnabled", fSmcEnabled);                 RC_CHECK();
+#endif
         rc = CFGMR3InsertInteger(pInst, "PCIDeviceNo",          7);                 RC_CHECK();
         Assert(!afPciDeviceNo[7]);
Index: /trunk/src/VBox/Main/Makefile.kmk
===================================================================
--- /trunk/src/VBox/Main/Makefile.kmk	(revision 16048)
+++ /trunk/src/VBox/Main/Makefile.kmk	(revision 16049)
@@ -446,4 +446,6 @@
 	$(if $(VBOX_WITH_CROSSBOW),VBOX_WITH_CROSSBOW,) \
 	$(if $(VBOX_WITH_E1000),VBOX_WITH_E1000,) \
+	$(if $(VBOX_WITH_HPET),VBOX_WITH_HPET,) \
+	$(if $(VBOX_WITH_SMC),VBOX_WITH_SMC,) \
 	$(if $(VBOX_WITH_PDM_ASYNC_COMPLETION),VBOX_WITH_PDM_ASYNC_COMPLETION,)
 ifdef VBOX_WITH_USB