From 742c40a60a02892b26a919722fb1c721448b44a2 Mon Sep 17 00:00:00 2001 From: Stefan Kalkowski Date: Mon, 10 Jan 2022 16:15:22 +0100 Subject: [PATCH] dde_linux: add linux kernel 5.14.21 port Ref genodelabs/genode#4411 --- repos/dde_linux/ports/linux.hash | 1 + repos/dde_linux/ports/linux.port | 7 +++++++ 2 files changed, 8 insertions(+) create mode 100644 repos/dde_linux/ports/linux.hash create mode 100644 repos/dde_linux/ports/linux.port diff --git a/repos/dde_linux/ports/linux.hash b/repos/dde_linux/ports/linux.hash new file mode 100644 index 0000000000..7ffa8ee4df --- /dev/null +++ b/repos/dde_linux/ports/linux.hash @@ -0,0 +1 @@ +b00fd4b8dc40ca35d3a9f8f27bfd7ec8c671bd4b diff --git a/repos/dde_linux/ports/linux.port b/repos/dde_linux/ports/linux.port new file mode 100644 index 0000000000..a3164611a6 --- /dev/null +++ b/repos/dde_linux/ports/linux.port @@ -0,0 +1,7 @@ +LICENSE := GPLv2 +VERSION := 5.14.21 +DOWNLOADS := linux.archive + +URL(linux) := https://cdn.kernel.org/pub/linux/kernel/v5.x/linux-$(VERSION).tar.xz +SHA(linux) := f41a259cb2002dd2e3286524b2bb4e803f4f982992d092706ecea613584023b3 +DIR(linux) := src/linux