config VALGRIND
	bool
	depends on ARCH_X86
	prompt "valgrind"
	help
	  Valgrind is a GPL'd system for debugging and profiling x86-Linux 
	  programs. With Valgrind's tool suite you can automatically detect 
	  many memory management and threading bugs, avoiding hours of 
	  frustrating bug-hunting, making your programs more stable. You can 
	  also perform detailed profiling to help speed up your programs.
	  For more info, check:
	  http://valgrind.org/