diff --git a/repos/dde_uos-intel-gpgpu/src/gpgpu/gpgpu_genode.cc b/repos/dde_uos-intel-gpgpu/src/gpgpu/gpgpu_genode.cc
index 09b47105ce..1d4c0387f0 100644
--- a/repos/dde_uos-intel-gpgpu/src/gpgpu/gpgpu_genode.cc
+++ b/repos/dde_uos-intel-gpgpu/src/gpgpu/gpgpu_genode.cc
@@ -71,8 +71,8 @@ void* gpgpu_genode::aligned_alloc(uint32_t alignment, uint32_t size)
 
 		[&] (void *ptr) { return ptr; },
 
-		[&] (Genode::Range_allocator::Alloc_error) -> void * {
-            Genode::error("[GPU] Error in driver allocation!");
+		[&] (Genode::Range_allocator::Alloc_error e) -> void * {
+            Genode::error("[GPU] Error in driver allocation: ", e);
             return nullptr; 
         }
     );
diff --git a/repos/hello_gpgpu/src/hello_gpgpu/CL/cl_genode.cc b/repos/hello_gpgpu/src/hello_gpgpu/CL/cl_genode.cc
index 9aa71cfa47..9614813878 100644
--- a/repos/hello_gpgpu/src/hello_gpgpu/CL/cl_genode.cc
+++ b/repos/hello_gpgpu/src/hello_gpgpu/CL/cl_genode.cc
@@ -43,8 +43,8 @@ void* cl_genode::aligned_alloc(Genode::uint32_t alignment, Genode::uint32_t size
 
 		[&] (void *ptr) { return ptr; },
 
-		[&] (Genode::Range_allocator::Alloc_error) -> void * {
-            Genode::error("[OCL] Error in driver allocation!");
+		[&] (Genode::Range_allocator::Alloc_error e) -> void * {
+            Genode::error("[OCL] Error in driver allocation: ", e);
             return nullptr; 
         }
     );