38.13.1.1. Linux worktree
If you are working with multiple Linux versions at once, it can be helpful to have their source code checked out all the time, in particular if you are going to be GDB step debugging.
We have some automation for that. Suppose that you are also interested in the kernel v6.14.4. Then you could do:
git -C submodules/linux worktree add ../../data/wt/linux/v6.14.4 git -C data/wt/linux/v6.14.4 reset --hard v6.14.4
Then you can use a specific source for a specific Linux kernel build variants with:
./build-linux --linux-worktree v6.14.4 --linux-build-id v6.14.4 ./run --linux-build-id v6.14.4