Small fix in supported platforms

Change-Id: I9f7460b1306efdd30676a02e910949bb990b3e7e
benchmark-subsetting · Jun 12, 2015 · a760ae6 · a760ae6
1 parent 8f48ae4
commit a760ae6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -24,8 +24,8 @@ Please follow the instructions in
 ### Supported platforms
 
 For now CERE only supports the Linux operating system. We have tested different
-versions >= 2.6. CERE has been tested mainly on x86_64 Debian and Ubuntu
-distributions.
+versions of kernels in the 2.6 series. CERE has been tested mainly on x86_64
+Debian and Ubuntu distributions using llvm 3.3 and gcc-4.7.
 
 CERE capture and replay is performed in user mode, but requires that
 `/proc/sys/kernel/randomize_va_space` is set to 1. This is the default on most