Compile with support for Intel VMX
+config DEBUG_INFO
+ bool "Compile with Debug Information"
+ default n
+ help
+ Compiles the Palacios library with debugging symbols
+
+
menu "Supported host OS features"
config MULTITHREAD_OS
HOSTCC = gcc
HOSTCXX = g++
-HOSTCFLAGS = -Wall -Wstrict-prototypes -O2 -fomit-frame-pointer \
+HOSTCFLAGS = -Wall -Wstrict-prototypes -fomit-frame-pointer \
-Wno-unused -Wno-format-security -U_FORTIFY_SOURCE
HOSTCXXFLAGS = -O2
CPPFLAGS := $(V3_INCLUDE) -D__V3VEE__
-CFLAGS := -fno-stack-protector -Wall -O -Werror -fPIC -mno-red-zone -fno-common
+CFLAGS := -fno-stack-protector -Wall -Werror -fPIC -mno-red-zone -fno-common
LDFLAGS := --whole-archive
ifdef CONFIG_DEBUG_INFO
CFLAGS += -g
+else
+CFLAGS += -O2
endif