Cache partitioning support

[palacios.git] / Makefile

diff --git a/Makefile b/Makefile
index f483b05..bb0860b 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -521,7 +521,7 @@ NOSTDINC_FLAGS +=
 # disable pointer signedness warnings in gcc 4.0
 CFLAGS += $(call cc-option,-Wno-pointer-sign,)
 
-CFLAGS += -O
+CFLAGS += -O2
 
 # Default kernel image to build when no specific target is given.
 # KBUILD_IMAGE may be overruled on the commandline or