Arch Linux User Repository

Understood, yes, headers for your kernel will be required for many (any?) DKMS packages, but I presume that linux-headers required to not be included as a depends is due to the possibility of installing other kernels, which would require their own headers (and not necessarily linux-headers)

Yes, that warning comes from Upstream, I've not put any effort into investigating to be honest, the less I fiddle, the more reliable things should be! ;-)

I did not install linux-headers because of the comment below about it not being required. Installing linux-headers fixes those errors, though now getting

(3/4) Install DKMS modules
==> dkms install --no-depmod gasket/r236.5815ee3 -k 6.9.6-arch1-1
Deprecated feature: REMAKE_INITRD (/usr/src/gasket-r236.5815ee3/dkms.conf)
==> depmod 6.9.6-arch1-1

But that seems to be an upstream issue.

Huh weird, it seems to be listing your root dir?

Do you have the kernel headers for your running kernel installed? (optional requirement for dkms, probably linux-headers unless you're running a different kernel)

Getting these errors on a fresh install, is this normal?

(3/4) Install DKMS modules
==> ERROR: Missing var kernel headers for module gasket/r236.5815ee3.
==> ERROR: Missing tmp kernel headers for module gasket/r236.5815ee3.
==> ERROR: Missing lib kernel headers for module gasket/r236.5815ee3.
==> ERROR: Missing lost+found kernel headers for module gasket/r236.5815ee3.
==> ERROR: Missing sys kernel headers for module gasket/r236.5815ee3.
==> ERROR: Missing mnt kernel headers for module gasket/r236.5815ee3.
==> ERROR: Missing bin kernel headers for module gasket/r236.5815ee3.
==> ERROR: Missing opt kernel headers for module gasket/r236.5815ee3.
==> ERROR: Missing lib64 kernel headers for module gasket/r236.5815ee3.
==> ERROR: Missing etc kernel headers for module gasket/r236.5815ee3.
==> ERROR: Missing usr kernel headers for module gasket/r236.5815ee3.
==> ERROR: Missing boot kernel headers for module gasket/r236.5815ee3.
==> ERROR: Missing run kernel headers for module gasket/r236.5815ee3.
==> ERROR: Missing root kernel headers for module gasket/r236.5815ee3.
==> ERROR: Missing srv kernel headers for module gasket/r236.5815ee3.
==> ERROR: Missing proc kernel headers for module gasket/r236.5815ee3.
==> ERROR: Missing sbin kernel headers for module gasket/r236.5815ee3.
==> ERROR: Missing home kernel headers for module gasket/r236.5815ee3.
==> ERROR: Missing dev kernel headers for module gasket/r236.5815ee3.

Huzzah! Thanks for the heads up, patch removed and PKGBUILD updated.

The eventfd_signal patch PR was recently merged upstream, so the patch should be removed now. Thank you!

Apologies for the delay - I killed my dev system!

Thanks for the below. Pkgbuild now updated (and patch included) for kernels 6.8

Here is the patch that works for me:

diff --git a/PKGBUILD b/PKGBUILD
index 244c4ef..92940a2 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -18,6 +18,8 @@ sha256sums=('SKIP')
 prepare() {
         echo "${srcdir}"
         echo "${pkgdir}"
+       cd gasket-driver/
+       patch --forward --strip=1 --input=../../gasket_interrupt.patch
 }

 pkgver() {
diff --git a/gasket_interrupt.patch b/gasket_interrupt.patch
new file mode 100644
index 0000000..27d7715
--- /dev/null
+++ b/gasket_interrupt.patch
@@ -0,0 +1,13 @@
+diff --git a/src/gasket_interrupt.c b/src/gasket_interrupt.c
+index 531d94e..8dba182 100644
+--- a/src/gasket_interrupt.c
++++ b/src/gasket_interrupt.c
+@@ -158,7 +158,7 @@ gasket_handle_interrupt(struct gasket_interrupt_data *interrupt_data,
+       read_lock(&interrupt_data->eventfd_ctx_lock);
+       ctx = interrupt_data->eventfd_ctxs[interrupt_index];
+       if (ctx)
+-              eventfd_signal(ctx, 1);
++              eventfd_signal(ctx);
+       read_unlock(&interrupt_data->eventfd_ctx_lock);
+ 
+       ++(interrupt_data->interrupt_counts[interrupt_index]);

Any chance this Issue #23 patch can be applied to fix the compilation error with kernel versions >= 6.8.0 until it's fixed upstream?

Good spot, apologies. Now corrected.