Description of problem:
If the user sets the kernel to vmlinuz instead of vmlinux, the plugin
doesn't detect this and issue a warning.
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
This bug will remain open as a tracker. All further comments
regarding this bug should be posted on bugs.eclipse.org.