Index: /trunk/include/VBox/log.h
===================================================================
--- /trunk/include/VBox/log.h	(revision 16030)
+++ /trunk/include/VBox/log.h	(revision 16031)
@@ -98,5 +98,7 @@
     /** High Precision Event Timer Device group. */
     LOG_GROUP_DEV_HPET,
-    /** IDE Device group. */
+    /** System Management Controller Device group. */
+    LOG_GROUP_DEV_SMC,
+        /** IDE Device group. */
     LOG_GROUP_DEV_IDE,
     /** The internal networking IP stack Device group. */
@@ -354,4 +356,5 @@
     "DEV_FDC",      \
     "DEV_HPET",     \
+    "DEV_SMC",      \
     "DEV_IDE",      \
     "DEV_INIP",     \
Index: /trunk/src/VBox/Devices/Builtins.h
===================================================================
--- /trunk/src/VBox/Devices/Builtins.h	(revision 16030)
+++ /trunk/src/VBox/Devices/Builtins.h	(revision 16031)
@@ -73,4 +73,7 @@
 extern const PDMDEVREG g_DeviceLsiLogicSCSI;
 #endif
+#ifdef VBOX_WITH_SMC
+extern const PDMDEVREG g_DeviceSMC;
+#endif
 
 extern const PDMDRVREG g_DrvMouseQueue;
Index: /trunk/src/VBox/Devices/Makefile.kmk
===================================================================
--- /trunk/src/VBox/Devices/Makefile.kmk	(revision 16030)
+++ /trunk/src/VBox/Devices/Makefile.kmk	(revision 16031)
@@ -333,4 +333,10 @@
 endif
 
+ifdef VBOX_WITH_SMC
+DevicesR3_DEFS          += VBOX_WITH_SMC
+DevicesR3_SOURCES       += PC/DevSMC.cpp 
+endif
+
+
 ifdef VBOX_WITH_USB
 DevicesR3_DEFS         += VBOX_WITH_USB IN_USB_R3