X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Makefile;h=bb0860b8a3642562d701575ff9a3128ac1a29a16;hb=42b80fddfbfea5c5603b71d80d3e2ba2a53a2074;hp=e267ebeb5fe1ed5008f49f5eacc550449f584d50;hpb=947c5b06d680f812f103cb2585c8d4510ddacb52;p=palacios.git diff --git a/Makefile b/Makefile index e267ebe..bb0860b 100644 --- a/Makefile +++ b/Makefile @@ -298,7 +298,14 @@ V3_INCLUDE := -Ipalacios/include \ CPPFLAGS := $(V3_INCLUDE) -D__V3VEE__ +# +# We want no-strict-aliasing here whether or not the target kernel +# has it configued. See Linus's rant about gcc's "if the standard +# says we can do anything, we will do the wrong thing" behavior with +# regard to this option +# CFLAGS := -fno-stack-protector -Wall -Werror -mno-red-zone -fno-common \ + -fno-strict-aliasing -ffreestanding \ $(call cc-option, -Wno-unused-but-set-variable,) @@ -514,6 +521,8 @@ NOSTDINC_FLAGS += # disable pointer signedness warnings in gcc 4.0 CFLAGS += $(call cc-option,-Wno-pointer-sign,) +CFLAGS += -O2 + # Default kernel image to build when no specific target is given. # KBUILD_IMAGE may be overruled on the commandline or # set in the environment