[Lava-users] Help: lava-ci vs. lava-tool

Hi Everyone,

I have a co-worker who wants to use our Kernel CI & Lava Virtual Machine. He says he wants to boot the VM, log in, and run a command that downloads a kernel and then tests multiple defconfig's and multiple versions of the Linux kernel. What is the best tool to do this (lava-ci, lava-tool, or a different tool)?

Can you point me to some examples of the tool you recommend?

Any help you can offer would be greatly appreciated.