diff options
Diffstat (limited to 'kiss/kernel/install')
| -rwxr-xr-x | kiss/kernel/install | 19 |
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 |