Some minor fixes applied.

diff --git a/l4 b/l4
index 50ca6001808e13cf1f12bfdafc9d8c1422e8f1a4..f2e3ae020870560afd8c46471707afdc654897f1 160000 (submodule)
--- a/l4
+++ b/l4
@@ -1 +1 @@
-Subproject commit 50ca6001808e13cf1f12bfdafc9d8c1422e8f1a4
+Subproject commit f2e3ae020870560afd8c46471707afdc654897f1

diff --git a/qemu-launch-scripts/bench-linux.c b/qemu-launch-scripts/bench-linux.c
index e9a3cd5b693e300e96d5bd69fb3a8d72d4e20338..e5fac27e66528ac91a5738dbac71e823d34357d0 100644 (file)
--- a/qemu-launch-scripts/bench-linux.c
+++ b/qemu-launch-scripts/bench-linux.c
@@ -15,14 +15,14 @@
 #endif//L4
 
 #define WORKSET_SIZE (6*1024*1024)
-//#define ALL_WORKSETS_BENCH 
+#define ALL_WORKSETS_BENCH 
 
 struct s {
-       int dummy[56];
+       char dummy[56];
        struct s *ptr;
 };
 
-struct s array[0x1000000/sizeof(struct s)];
+struct s array[0x2100000/sizeof(struct s)];
 #define REPEATS (0x20000000)
 
 static __inline__ uint64_t rdtsc(void)