Hasanuddin Abu Bakar 76824ba725 fix(kernel): merge UAPI headers into existing usr/ directory (#17) ...

Both packagers copied the staged UAPI headers with:

    cp -a /out/staging/headers/usr "$DEST/usr"

Because $DEST/usr already exists (modules live under $STAGING/usr/lib/modules,
and other files may be staged under $PKG/usr), cp placed the source directory
inside the destination, producing a nested usr/usr/include/ path. The headers
were therefore installed at the wrong location and not found by builds.

Merge the contents with cp -a .../usr/. "$DEST/usr/" so the headers land at
the expected /usr/include/linux/... path in both .deb and .pkg.tar.zst
packages.

2026-06-16 20:13:44 +02:00

..

image-builder

Add Debian 12 (XFCE) image support

2026-06-14 00:39:13 +08:00

kernel-builder

fix(kernel): merge UAPI headers into existing usr/ directory (#17)

2026-06-16 20:13:44 +02:00

kernel-builder-arch

fix(kernel): merge UAPI headers into existing usr/ directory (#17)

2026-06-16 20:13:44 +02:00

kernel-builder-rpm

Add Fedora 44 (GNOME) image support

2026-06-13 07:00:06 +08:00