# Pastebin Zxy4H6JB
#!/bin/bash

set -x
set -e

O=aarch64
version=`cat $O/include/config/kernel.release`

gen_boot_entry() {
	cat > /boot/efi/loader/entries/fedora-$version.conf <<EOF
title Fedora Linux 38 ($version) (Workstation Edition)
version $version
linux /fedora/$version/linux
initrd /fedora/$version/initrd
options `cat /proc/cmdline | sed 's/initrd=[^ ]*//g'`
EOF
	cat /boot/efi/loader/entries/fedora-$version.conf
}

./make.sh -j8 modules_install install &&
	dracut --force $version &&
	cp $O/arch/arm64/boot/dts/qcom/sc8280xp-lenovo-thinkpad-x13s.dtb /boot/efi &&
	gen_boot_entry