From 8a6ad5f94b51c8ceb3ba5fa035c833fe3698b798 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Wed, 30 Aug 2017 11:47:49 +0200
Subject: [PATCH] Linux_dataspace: increase file name length

Fixes #2508
---
 repos/base-linux/src/include/linux_dataspace/linux_dataspace.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/base-linux/src/include/linux_dataspace/linux_dataspace.h b/repos/base-linux/src/include/linux_dataspace/linux_dataspace.h
index 51b1932080..d11e349ed4 100644
--- a/repos/base-linux/src/include/linux_dataspace/linux_dataspace.h
+++ b/repos/base-linux/src/include/linux_dataspace/linux_dataspace.h
@@ -23,7 +23,7 @@ namespace Genode {
 
 	struct Linux_dataspace : Dataspace
 	{
-		enum { FNAME_LEN = 40 };
+		enum { FNAME_LEN = 64 };
 		struct Filename { char buf[FNAME_LEN]; };
 
 		virtual ~Linux_dataspace() { }