diff --git a/repos/ports/include/vmm/vcpu_thread.h b/repos/ports/include/vmm/vcpu_thread.h
index 9fab2923c..7b732c011 100644
--- a/repos/ports/include/vmm/vcpu_thread.h
+++ b/repos/ports/include/vmm/vcpu_thread.h
@@ -41,6 +41,8 @@ class Vmm::Vcpu_thread
 
 		virtual Genode::addr_t exc_base()            = 0;
 		virtual void           start(Genode::addr_t) = 0;
+
+		virtual ~Vcpu_thread() { };
 };
 
 class Vmm::Vcpu_other_pd : public Vmm::Vcpu_thread
@@ -53,6 +55,12 @@ class Vmm::Vcpu_other_pd : public Vmm::Vcpu_thread
 
 		Genode::addr_t _exc_pt_sel;
 
+		/*
+		 * Noncopyable
+		 */
+		Vcpu_other_pd(Vcpu_other_pd const &);
+		Vcpu_other_pd &operator = (Vcpu_other_pd const &);
+
 	public:
 
 		Vcpu_other_pd(Cpu_session * cpu_session,