larger i/o buffer for exec()

  . makes exec() for large executables (e.g. clang, gcc)
    significantly faster

Thanks to Antoine Leca.

diff --git a/servers/vfs/exec.c b/servers/vfs/exec.c
index 09ba602351771cfa6e6c62c62416453bc31c54a9..b78ca8b079594e28531048d04a1a14a365bf1f3f 100644 (file)
--- a/servers/vfs/exec.c
+++ b/servers/vfs/exec.c
@@ -552,7 +552,7 @@ phys_bytes seg_bytes                /* how much is to be transferred? */
   unsigned n, o;
   u64_t new_pos;
   unsigned int cum_io;
-  char buf[1024];
+  static char buf[128 * 1024];
 
   assert((seg == T)||(seg == D));