diff --git a/hermit/usr/benchmarks/RCCE_pingping.c b/hermit/usr/benchmarks/RCCE_pingping.c
index 7a61bd2da..8f14b412b 100644
--- a/hermit/usr/benchmarks/RCCE_pingping.c
+++ b/hermit/usr/benchmarks/RCCE_pingping.c
@@ -30,8 +30,8 @@
 #define NUMROUNDS   10000
 
 
-char send_buffer[MAXBUFSIZE+1];
-char recv_buffer[MAXBUFSIZE+1];
+char send_buffer[MAXBUFSIZE+1] __attribute__ ((aligned (32)));
+char recv_buffer[MAXBUFSIZE+1] __attribute__ ((aligned (32)));
 char dummy = 0;
 
 int RCCE_APP(int argc, char **argv)
diff --git a/hermit/usr/benchmarks/RCCE_pingpong.c b/hermit/usr/benchmarks/RCCE_pingpong.c
index 8724b1fc1..33a79366e 100644
--- a/hermit/usr/benchmarks/RCCE_pingpong.c
+++ b/hermit/usr/benchmarks/RCCE_pingpong.c
@@ -32,12 +32,12 @@
 
 
 #ifdef _USE_SEPARATED_BUFFERS_
-char send_buffer[MAXBUFSIZE+1];
-char recv_buffer[MAXBUFSIZE+1];
+char send_buffer[MAXBUFSIZE+1] __attribute__ ((aligned (32)));
+char recv_buffer[MAXBUFSIZE+1] __attribute__ ((aligned (32)));
 #else
 #define send_buffer buffer
 #define recv_buffer buffer
-char buffer[MAXBUFSIZE+1];
+char buffer[MAXBUFSIZE+1] __attribute__ ((aligned (32)));
 #endif
 char dummy = 0;