Compare commits

...
A pull request between these branches already exists: unimore/kernel-hacking-2024-linux-steffo#4

WIP: skip `net/mptcp` if `veth` is missing #4