Compare commits

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

WIP: Skip `drivers/dma-buf` if `hugepages` is missing #7