Track some more KISS pieces

1 files changed, 19 insertions, 0 deletions

diff --git a/kiss/kernel/install b/kiss/kernel/install
new file mode 100755
index 0000000..452b9d7
--- /dev/null
+++ b/kiss/kernel/install
@@ -0,0 +1,19 @@
+#!/bin/sh
+
+version=$(cat version)
+version_number="$(echo $version | cut -d\- -f1)"
+dir="builds/linux-$version_number"
+
+config="${1:-hardened.config}"
+cp "$config" "$dir/.config"
+cd "$dir"
+
+make -j4 && \
+  doas make install && \
+  doas mv /boot/System.map /boot/System.map-"$version_number" && \
+  doas mv /boot/vmlinuz /boot/vmlinuz-"$version_number"
+
+doas rm "/boot/initramfs-$version_number.img"
+doas tinyramfs -c /etc/tinyramfs.config -k "$version"\
+	/boot/initramfs-$version_number.img
+doas grub-mkconfig -o /boot/grub/grub.cfg