X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=kitten%2Farch%2Fx86_64%2FKconfig.debug;fp=kitten%2Farch%2Fx86_64%2FKconfig.debug;h=0000000000000000000000000000000000000000;hb=80d6ccd14cca51eec611cc96cf1e39c7a9c98421;hp=7ad592c10384d6298a91c91a024e84937b801953;hpb=e5d7715c14a23e72d742d402d4e4cdf97ffab697;p=palacios.git

diff --git a/kitten/arch/x86_64/Kconfig.debug b/kitten/arch/x86_64/Kconfig.debug
deleted file mode 100644
index 7ad592c..0000000
--- a/kitten/arch/x86_64/Kconfig.debug
+++ /dev/null
@@ -1,15 +0,0 @@
-menu "Kernel hacking"
-
-source "lib/Kconfig.debug"
-
-config DEBUG_RODATA
-       bool "Write protect kernel read-only data structures"
-       depends on DEBUG_KERNEL
-       help
-	 Mark the kernel read-only data as write-protected in the pagetables,
-	 in order to catch accidental (and incorrect) writes to such const data.
-	 This option may have a slight performance impact because a portion
-	 of the kernel code won't be covered by a 2MB TLB anymore.
-	 If in doubt, say "N".
-
-endmenu