From 2cdf032ffa1b6111d340815646c547c0f18fe0b1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marcel=20L=C3=BCtke=20Dreimann?=
 <marcel.luetkedreimann@uos.de>
Date: Fri, 7 Oct 2022 15:32:52 +0200
Subject: [PATCH] fix polybench memory allocations

---
 repos/hello_gpgpu/src/hello_gpgpu/polybench.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/repos/hello_gpgpu/src/hello_gpgpu/polybench.cc b/repos/hello_gpgpu/src/hello_gpgpu/polybench.cc
index 91e82b866d..1e8c16350d 100644
--- a/repos/hello_gpgpu/src/hello_gpgpu/polybench.cc
+++ b/repos/hello_gpgpu/src/hello_gpgpu/polybench.cc
@@ -399,5 +399,8 @@ void* polybench_alloc_data(unsigned long long int n, int elt_size)
   val *= elt_size;
   void* ret = xmalloc (val);
 
+  // unlike Linux, Genode does not ensure that allocated memory is zeroed
+  memset(ret, 0, val);
+
   return ret;
 }