From: Jack Lange Date: Thu, 25 Aug 2011 23:10:04 +0000 (-0400) Subject: update debugging info configuration X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=2d71f2803382dcd293d98a81efe1a8dc3a08640f;p=palacios.git update debugging info configuration --- diff --git a/Kconfig b/Kconfig index 6432790..5397fec 100644 --- a/Kconfig +++ b/Kconfig @@ -76,6 +76,12 @@ config VMX Compile with support for Intel VMX +config FRAME_POINTER + bool "Compile with Frame pointers" + default n + help + Compiles the Palacios library with Frame pointers + config DEBUG_INFO bool "Compile with Debug Information" default n @@ -296,12 +302,6 @@ endmenu menu "Debug configuration" -config CONFIG_DEBUG_INFO - bool "Compile with Debug information" - default n - help - This adds the -g flag to the compilation flags - ## Is unwind information useful