# HG changeset patch
# User David Demelier <markand@malikania.fr>
# Date 1569438300 -7200
# Node ID d7b018839eaac9af718d213ecfb1f12ba388f7af
# Parent  ef803d8555ecf0ba2ee18e156f81ca70a8a51292
kernel/linux: initial import, closes #1177

diff -r ef803d8555ec -r d7b018839eaa kernel/linux/linux.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/kernel/linux/linux.sh	Wed Sep 25 21:05:00 2019 +0200
@@ -0,0 +1,71 @@
+#!/bin/sh
+#
+# Copyright (c) 2019 David Demelier <markand@malikania.fr>
+#
+# Permission to use, copy, modify, and/or distribute this software for any
+# purpose with or without fee is hereby granted, provided that the above
+# copyright notice and this permission notice appear in all copies.
+#
+# THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
+# WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
+# MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
+# ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
+# WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
+# ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
+# OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
+#
+
+#
+# User notes
+# ----------
+#
+# The Linux kernel is built without modifications as if `make defconfig` was
+# used.
+#
+# You can provide your own kernel configuration with the CONFIG option which
+# should point to your custom file.
+#
+
+PKGNAME=linux
+PKGVERSION=5.3.1
+PKGREVISION=1
+PKGLICENSE="GPLv20"
+PKGSUMMARY="the Linux kernel"
+PKGDOWNLOAD="https://cdn.kernel.org/pub/linux/kernel/v5.x/$PKGNAME-$PKGVERSION.tar.xz"
+PKGDEPENDS="bison:build elfutils:build flex:build gcc:build"
+PKGOPTIONS="CONFIG"
+
+: ${CHOST:=$(uname -m)-linux-musl}
+: ${CBUILD:=$(uname -m)-linux-musl}
+: ${CC:=gcc}
+: ${CFLAGS:=-O2}
+: ${LDFLAGS:=}
+: ${LIBS:=}
+: ${CONFIG:=}   # Note: path to kernel config file.
+
+build()
+{
+	rm -rf $PKGNAME-$PKGVERSION
+	tar xvf $PKGNAME-$PKGVERSION.tar.xz
+	cd $PKGNAME-$PKGVERSION
+
+	if [ -n "$CONFIG" ]; then
+		cp $CONFIG .config
+	else
+		# TODO: add architecture support.
+		cp ../config-amd64 .config
+	fi
+
+	mkdir -p $DESTDIR/boot
+	mkdir -p $DESTDIR/lib
+	make \
+		CC="$CC" \
+		HOSTCC="$CC" \
+		CFLAGS="$CFLAGS" \
+		INSTALL_PATH=$DESTDIR/boot \
+		INSTALL_MOD_PATH=$DESTDIR \
+		all install modules_install
+
+	cd ..
+	rm -rf $PKGNAME-$PKGVERSION
+}
diff -r ef803d8555ec -r d7b018839eaa kernel/linux/linux.sha1
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/kernel/linux/linux.sha1	Wed Sep 25 21:05:00 2019 +0200
@@ -0,0 +1,1 @@
+aab70d4145f188e7f9a04d8714cec9d87341b184  linux-5.3.1.tar.xz