diff --git a/src/core/sal/bochs/BochsCPU.hpp b/src/core/sal/bochs/BochsCPU.hpp
index 0407acab..4d6cf340 100644
--- a/src/core/sal/bochs/BochsCPU.hpp
+++ b/src/core/sal/bochs/BochsCPU.hpp
@@ -28,6 +28,10 @@ public:
 	 */
 	BochsCPU(unsigned int id) : m_Id(id) { }
 	/**
+	 * Virtual Destructor is required.
+   */
+	virtual ~BochsCPU() { }
+		/**
 	 * Retrieves the content of the register \c reg.
 	 * @param reg the register pointer of interest (cannot be \c NULL)
 	 * @return the content of the register \c reg