Evgeny Novikov wrote:
By some reason repeated launches with the same kernel provided as sources don't work.
Actually, this isn't the case. Just when one use kernel sources that differs from the previously used ones (say, when one checkouted another revision), then ldv-kmanager points out this:
ldv: NORMAL: ldv start.
ldv-kmanager: ERROR: Kernel description with name "linux-stable" already exists. Try to select another name.
ldv: ERROR: kmanager failed.
make: *** [tags/current/env.linux-stable] Error 1
And this should be done indeed. But I'd like our most high-level command-line interface (
ldv-manager) to have an option that allows to remove information (if so) on the kernel to be used in verification process at the beginning. So I'm going to create a separate issue with lower priority.
Also sometimes it'll be very useful to have an ability to keep the whole git repository of the Linux kernel set upped by ldv-tools inside
envs directory and just checkout some required revision there (say,
v3.4,
v3.4-rc3,
abracadabra, etc.). But this isn't a common workflow nevertheless, so we can don't focus on this.