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 2e9c664b38..2722600c3c 100644
--- a/repos/dde_uos-intel-gpgpu/src/gpgpu/gpgpu_genode.cc
+++ b/repos/dde_uos-intel-gpgpu/src/gpgpu/gpgpu_genode.cc
@@ -50,6 +50,16 @@ gpgpu_genode::~gpgpu_genode()
 
 void* gpgpu_genode::aligned_alloc(uint32_t alignment, uint32_t size)
 {
+    if(alignment == 0x1000)
+    {
+        alignment = 12;
+    }
+    else if(alignment != 0x0)
+    {
+        Genode::error("[GPU] Unsupported alignment: ", alignment);
+        return nullptr;
+    }
+
     return alloc.alloc_aligned(size, alignment).convert<void *>(
 
 		[&] (void *ptr) { return ptr; },