wip

2026-05-18 19:32:33 +02:00
parent 98f3fee099
commit 0d610fd2de
34 changed files with 1063 additions and 3080 deletions
@@ -0,0 +1,20 @@
+version = "7.0.9"
+revision = 1
+metadata = meta(
+    description = "Linux kernel headers for userspace development",
+    license = "GPL-2.0-only",
+)
+source = tarball_source(
+    url = f"https://cdn.kernel.org/pub/linux/kernel/v7.x/linux-{version}.tar.xz",
+    sha256 = "ac07acdf76cf4621cc5187a2670270a1a699533c8a6b225e4878c416ad83f1c4",
+    strip_components = 1,
+)
+
+def build(ctx):
+    ctx.run(["cp", "-rp", ctx.source_dir / ".", ctx.build_dir])
+    ctx.run(["make", "headers_install", "ARCH=" + options.target_arch])
+    ctx.run(["find", ctx.build_dir / "usr/include", "-type", "f", "!", "-name", "*.h", "-delete"])
+
+def install(ctx, pkg):
+    ctx.run(["mkdir", "-p", pkg.dest_dir / ctx.prefix])
+    ctx.run(["cp", "-rp", ctx.build_dir / "usr/include", pkg.dest_dir / ctx.prefix])