On Sun, 29 Sep 2024 16:21:30 +1000 David Gibson <david(a)gibson.dropbear.id.au> wrote:On Fri, Sep 27, 2024 at 07:17:14PM +0200, Stefano Brivio wrote:I rarely use the Makefile under test/ because I'm running these tests mostly as ./ci, but yes, I was thinking about that as well. On the other hand, mbuto needs a kernel version to figure out where the kernel modules are, whereas the tests need a kernel binary, and I didn't really have good ideas to take both into account without introducing two variables in the Makefile which looks a bit clunky. -- StefanoThis is quite useful at least for myself as I'm usually running tests using a guest kernel that's not the same as the one on the host.Hm. I don't love doing this without also altering the mbuto.img creation to use the same kernel.