Description of problem: If the user sets the kernel to vmlinuz instead of vmlinux, the plugin doesn't detect this and issue a warning. Additional info: The plugin seems to be able to detect which kernel is running very well. The only reason I needed to change the kernel setting is because I updated my kernel. Perhaps the plugin could autodetect the kernel version everytime oprofiled is started. The current configuration option could be grayed out unless explicitly set by the user. A checkbox could control this. Just an idea though.
This bug has been moved to https://bugs.eclipse.org/bugs/show_bug.cgi?id=76884 This bug will remain open as a tracker. All further comments regarding this bug should be posted on bugs.eclipse.org.