diff --git a/kernel/lib/user_copy/include/lib/user_copy/user_ptr.h b/kernel/lib/user_copy/include/lib/user_copy/user_ptr.h
index aad53a7..99eee1d 100644
--- a/kernel/lib/user_copy/include/lib/user_copy/user_ptr.h
+++ b/kernel/lib/user_copy/include/lib/user_copy/user_ptr.h
@@ -17,6 +17,13 @@
 public:
     explicit user_ptr(T* p) : ptr_(p) {}
 
+    user_ptr(const user_ptr& other) : ptr_(other.ptr_) {}
+
+    user_ptr& operator=(const user_ptr& other) {
+        ptr_ = other.ptr_;
+        return *this;
+    }
+
     T* get() const { return ptr_; }
 
     template <typename C>
@@ -86,7 +93,7 @@
     // It is very important that this class only wrap the pointer type itself
     // and not include any other members so as not to break the ABI between
     // the kernel and user space.
-    T* const ptr_;
+    T* ptr_;
 };
 
 template <typename T>