From 2bd85cd82fc509eba764a65a3b8a5dca819beebd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Carl-Benedikt=20Kr=C3=BCger?=
 <benedikt.krueger@rwth-aachen.de>
Date: Fri, 8 Jul 2011 19:18:44 +0200
Subject: [PATCH] benchmarking

---
 kernel/tests.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kernel/tests.c b/kernel/tests.c
index e538c2eb..e1065784 100644
--- a/kernel/tests.c
+++ b/kernel/tests.c
@@ -148,7 +148,7 @@ __inline int get_core_no(void)
 void* server_task(void* e)
 {
     int sockfd, newsockfd, portno, clilen;
-    char buffer[792];
+    char buffer[512];
     struct sockaddr_in serv_addr, cli_addr;
     int  n;
     uint64_t tmp1,tmp2;