## SECTION=debug_tools

config KERNEL_VMLINUX
	bool
	help
	  install kernel image to /boot/vmlinux