From fafcee6d76b685cec2c9a74f43d284cd3f852afd 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:16:47 +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 81352a74..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[256];
+    char buffer[512];
     struct sockaddr_in serv_addr, cli_addr;
     int  n;
     uint64_t tmp1,tmp2;